
(define (problem os-soft-gp50by50-4-fixed27)
        (:domain openstacks-soft)
        (:objects n0 - count n1 - count n2 - count n3 - count n4 - count n5 -
         count n6 - count n7 - count n8 - count n9 - count n10 - count n11 -
         count n12 - count n13 - count n14 - count n15 - count n16 - count n17
         - count n18 - count n19 - count n20 - count n21 - count n22 - count
         n23 - count n24 - count n25 - count n26 - count n27 - count o1 - order
         o2 - order o3 - order o4 - order o5 - order o6 - order o7 - order o8 -
         order o9 - order o10 - order o11 - order o12 - order o13 - order o14 -
         order o15 - order o16 - order o17 - order o18 - order o19 - order o20
         - order o21 - order o22 - order o23 - order o24 - order o25 - order
         o26 - order o27 - order o28 - order o29 - order o30 - order o31 -
         order o32 - order o33 - order o34 - order o35 - order o36 - order o37
         - order o38 - order o39 - order o40 - order o41 - order o42 - order
         o43 - order o44 - order o45 - order o46 - order o47 - order o48 -
         order o49 - order o50 - order p1 - product p2 - product p3 - product
         p4 - product p5 - product p6 - product p7 - product p8 - product p9 -
         product p10 - product p11 - product p12 - product p13 - product p14 -
         product p15 - product p16 - product p17 - product p18 - product p19 -
         product p20 - product p21 - product p22 - product p23 - product p24 -
         product p25 - product p26 - product p27 - product p28 - product p29 -
         product p30 - product p31 - product p32 - product p33 - product p34 -
         product p35 - product p36 - product p37 - product p38 - product p39 -
         product p40 - product p41 - product p42 - product p43 - product p44 -
         product p45 - product p46 - product p47 - product p48 - product p49 -
         product p50 - product)
        (:init (next-count n0 n1) (next-count n1 n2) (next-count n2 n3)
         (next-count n3 n4) (next-count n4 n5) (next-count n5 n6)
         (next-count n6 n7) (next-count n7 n8) (next-count n8 n9)
         (next-count n9 n10) (next-count n10 n11) (next-count n11 n12)
         (next-count n12 n13) (next-count n13 n14) (next-count n14 n15)
         (next-count n15 n16) (next-count n16 n17) (next-count n17 n18)
         (next-count n18 n19) (next-count n19 n20) (next-count n20 n21)
         (next-count n21 n22) (next-count n22 n23) (next-count n23 n24)
         (next-count n24 n25) (next-count n25 n26) (next-count n26 n27)
         (stacks-avail n27) (waiting o1) (includes o1 p1) (includes o1 p4)
         (includes o1 p5) (includes o1 p6) (includes o1 p7) (includes o1 p9)
         (includes o1 p10) (includes o1 p11) (includes o1 p12)
         (includes o1 p13) (includes o1 p15) (includes o1 p17)
         (includes o1 p18) (includes o1 p19) (includes o1 p20)
         (includes o1 p21) (includes o1 p22) (includes o1 p23)
         (includes o1 p26) (includes o1 p27) (includes o1 p28)
         (includes o1 p29) (includes o1 p30) (includes o1 p31)
         (includes o1 p34) (includes o1 p36) (includes o1 p37)
         (includes o1 p38) (includes o1 p39) (includes o1 p41)
         (includes o1 p43) (includes o1 p44) (includes o1 p45)
         (includes o1 p47) (includes o1 p48) (waiting o2) (includes o2 p3)
         (includes o2 p5) (includes o2 p6) (includes o2 p12) (includes o2 p17)
         (includes o2 p20) (includes o2 p21) (includes o2 p23)
         (includes o2 p24) (includes o2 p25) (includes o2 p26)
         (includes o2 p28) (includes o2 p29) (includes o2 p31)
         (includes o2 p33) (includes o2 p36) (includes o2 p41)
         (includes o2 p42) (includes o2 p45) (includes o2 p46)
         (includes o2 p49) (includes o2 p50) (waiting o3) (includes o3 p2)
         (includes o3 p24) (includes o3 p25) (includes o3 p40)
         (includes o3 p42) (includes o3 p46) (includes o3 p49)
         (includes o3 p50) (waiting o4) (includes o4 p1) (includes o4 p2)
         (includes o4 p4) (includes o4 p5) (includes o4 p7) (includes o4 p8)
         (includes o4 p10) (includes o4 p11) (includes o4 p13)
         (includes o4 p14) (includes o4 p15) (includes o4 p16)
         (includes o4 p17) (includes o4 p19) (includes o4 p20)
         (includes o4 p22) (includes o4 p23) (includes o4 p24)
         (includes o4 p25) (includes o4 p26) (includes o4 p28)
         (includes o4 p29) (includes o4 p30) (includes o4 p31)
         (includes o4 p32) (includes o4 p33) (includes o4 p34)
         (includes o4 p35) (includes o4 p36) (includes o4 p37)
         (includes o4 p39) (includes o4 p40) (includes o4 p41)
         (includes o4 p42) (includes o4 p44) (includes o4 p45)
         (includes o4 p46) (includes o4 p47) (includes o4 p48)
         (includes o4 p49) (waiting o5) (includes o5 p2) (includes o5 p3)
         (includes o5 p4) (includes o5 p5) (includes o5 p6) (includes o5 p9)
         (includes o5 p12) (includes o5 p14) (includes o5 p15)
         (includes o5 p17) (includes o5 p18) (includes o5 p20)
         (includes o5 p22) (includes o5 p23) (includes o5 p24)
         (includes o5 p25) (includes o5 p26) (includes o5 p28)
         (includes o5 p31) (includes o5 p33) (includes o5 p36)
         (includes o5 p38) (includes o5 p40) (includes o5 p41)
         (includes o5 p42) (includes o5 p45) (includes o5 p46)
         (includes o5 p50) (waiting o6) (includes o6 p1) (includes o6 p2)
         (includes o6 p3) (includes o6 p4) (includes o6 p5) (includes o6 p6)
         (includes o6 p7) (includes o6 p8) (includes o6 p10) (includes o6 p11)
         (includes o6 p12) (includes o6 p13) (includes o6 p14)
         (includes o6 p15) (includes o6 p16) (includes o6 p17)
         (includes o6 p18) (includes o6 p19) (includes o6 p20)
         (includes o6 p21) (includes o6 p22) (includes o6 p23)
         (includes o6 p24) (includes o6 p25) (includes o6 p26)
         (includes o6 p27) (includes o6 p28) (includes o6 p30)
         (includes o6 p31) (includes o6 p32) (includes o6 p33)
         (includes o6 p35) (includes o6 p36) (includes o6 p37)
         (includes o6 p38) (includes o6 p39) (includes o6 p42)
         (includes o6 p44) (includes o6 p45) (includes o6 p46)
         (includes o6 p47) (includes o6 p48) (includes o6 p49)
         (includes o6 p50) (waiting o7) (includes o7 p1) (includes o7 p5)
         (includes o7 p6) (includes o7 p7) (includes o7 p8) (includes o7 p9)
         (includes o7 p10) (includes o7 p11) (includes o7 p12)
         (includes o7 p13) (includes o7 p15) (includes o7 p16)
         (includes o7 p18) (includes o7 p19) (includes o7 p20)
         (includes o7 p21) (includes o7 p22) (includes o7 p23)
         (includes o7 p26) (includes o7 p27) (includes o7 p28)
         (includes o7 p29) (includes o7 p30) (includes o7 p31)
         (includes o7 p32) (includes o7 p34) (includes o7 p35)
         (includes o7 p36) (includes o7 p37) (includes o7 p39)
         (includes o7 p43) (includes o7 p44) (includes o7 p45)
         (includes o7 p47) (includes o7 p48) (waiting o8) (includes o8 p11)
         (includes o8 p37) (includes o8 p43) (includes o8 p44) (waiting o9)
         (includes o9 p1) (includes o9 p2) (includes o9 p3) (includes o9 p4)
         (includes o9 p5) (includes o9 p6) (includes o9 p7) (includes o9 p8)
         (includes o9 p9) (includes o9 p10) (includes o9 p11) (includes o9 p13)
         (includes o9 p14) (includes o9 p16) (includes o9 p17)
         (includes o9 p20) (includes o9 p21) (includes o9 p22)
         (includes o9 p23) (includes o9 p24) (includes o9 p25)
         (includes o9 p26) (includes o9 p27) (includes o9 p28)
         (includes o9 p29) (includes o9 p30) (includes o9 p31)
         (includes o9 p32) (includes o9 p33) (includes o9 p34)
         (includes o9 p35) (includes o9 p36) (includes o9 p37)
         (includes o9 p38) (includes o9 p39) (includes o9 p40)
         (includes o9 p42) (includes o9 p43) (includes o9 p44)
         (includes o9 p45) (includes o9 p46) (includes o9 p47)
         (includes o9 p48) (includes o9 p50) (waiting o10) (includes o10 p1)
         (includes o10 p2) (includes o10 p3) (includes o10 p4)
         (includes o10 p5) (includes o10 p6) (includes o10 p7)
         (includes o10 p8) (includes o10 p9) (includes o10 p10)
         (includes o10 p11) (includes o10 p12) (includes o10 p14)
         (includes o10 p15) (includes o10 p16) (includes o10 p17)
         (includes o10 p18) (includes o10 p19) (includes o10 p20)
         (includes o10 p22) (includes o10 p23) (includes o10 p24)
         (includes o10 p26) (includes o10 p27) (includes o10 p28)
         (includes o10 p29) (includes o10 p30) (includes o10 p31)
         (includes o10 p32) (includes o10 p33) (includes o10 p34)
         (includes o10 p35) (includes o10 p36) (includes o10 p37)
         (includes o10 p38) (includes o10 p39) (includes o10 p40)
         (includes o10 p42) (includes o10 p43) (includes o10 p44)
         (includes o10 p45) (includes o10 p46) (includes o10 p47)
         (includes o10 p48) (includes o10 p49) (includes o10 p50) (waiting o11)
         (includes o11 p1) (includes o11 p2) (includes o11 p3)
         (includes o11 p4) (includes o11 p5) (includes o11 p6)
         (includes o11 p7) (includes o11 p9) (includes o11 p10)
         (includes o11 p12) (includes o11 p13) (includes o11 p14)
         (includes o11 p15) (includes o11 p16) (includes o11 p17)
         (includes o11 p18) (includes o11 p20) (includes o11 p21)
         (includes o11 p22) (includes o11 p23) (includes o11 p24)
         (includes o11 p25) (includes o11 p26) (includes o11 p27)
         (includes o11 p28) (includes o11 p29) (includes o11 p30)
         (includes o11 p31) (includes o11 p32) (includes o11 p34)
         (includes o11 p35) (includes o11 p36) (includes o11 p38)
         (includes o11 p39) (includes o11 p41) (includes o11 p42)
         (includes o11 p46) (includes o11 p47) (includes o11 p49)
         (includes o11 p50) (waiting o12) (includes o12 p3) (includes o12 p24)
         (includes o12 p49) (waiting o13) (includes o13 p1) (includes o13 p2)
         (includes o13 p3) (includes o13 p4) (includes o13 p5)
         (includes o13 p6) (includes o13 p7) (includes o13 p8)
         (includes o13 p9) (includes o13 p10) (includes o13 p11)
         (includes o13 p13) (includes o13 p14) (includes o13 p15)
         (includes o13 p16) (includes o13 p17) (includes o13 p18)
         (includes o13 p19) (includes o13 p20) (includes o13 p21)
         (includes o13 p22) (includes o13 p23) (includes o13 p24)
         (includes o13 p25) (includes o13 p26) (includes o13 p27)
         (includes o13 p28) (includes o13 p29) (includes o13 p30)
         (includes o13 p31) (includes o13 p32) (includes o13 p33)
         (includes o13 p34) (includes o13 p35) (includes o13 p36)
         (includes o13 p37) (includes o13 p38) (includes o13 p41)
         (includes o13 p42) (includes o13 p44) (includes o13 p45)
         (includes o13 p46) (includes o13 p47) (includes o13 p48)
         (includes o13 p49) (includes o13 p50) (waiting o14) (includes o14 p2)
         (includes o14 p3) (includes o14 p4) (includes o14 p9)
         (includes o14 p12) (includes o14 p14) (includes o14 p15)
         (includes o14 p20) (includes o14 p21) (includes o14 p24)
         (includes o14 p31) (includes o14 p33) (includes o14 p36)
         (includes o14 p40) (includes o14 p41) (includes o14 p45)
         (includes o14 p46) (includes o14 p49) (includes o14 p50) (waiting o15)
         (includes o15 p1) (includes o15 p8) (includes o15 p10)
         (includes o15 p11) (includes o15 p32) (includes o15 p37)
         (includes o15 p39) (includes o15 p43) (includes o15 p44)
         (includes o15 p47) (includes o15 p48) (waiting o16) (includes o16 p2)
         (includes o16 p3) (includes o16 p4) (includes o16 p6)
         (includes o16 p9) (includes o16 p12) (includes o16 p13)
         (includes o16 p14) (includes o16 p15) (includes o16 p17)
         (includes o16 p18) (includes o16 p20) (includes o16 p21)
         (includes o16 p22) (includes o16 p24) (includes o16 p25)
         (includes o16 p26) (includes o16 p27) (includes o16 p31)
         (includes o16 p33) (includes o16 p36) (includes o16 p38)
         (includes o16 p40) (includes o16 p41) (includes o16 p42)
         (includes o16 p45) (includes o16 p46) (includes o16 p49)
         (includes o16 p50) (waiting o17) (includes o17 p2) (includes o17 p3)
         (includes o17 p5) (includes o17 p6) (includes o17 p9)
         (includes o17 p12) (includes o17 p14) (includes o17 p15)
         (includes o17 p17) (includes o17 p20) (includes o17 p21)
         (includes o17 p23) (includes o17 p24) (includes o17 p25)
         (includes o17 p28) (includes o17 p31) (includes o17 p33)
         (includes o17 p36) (includes o17 p40) (includes o17 p41)
         (includes o17 p42) (includes o17 p45) (includes o17 p46)
         (includes o17 p49) (includes o17 p50) (waiting o18) (includes o18 p1)
         (includes o18 p3) (includes o18 p4) (includes o18 p5)
         (includes o18 p6) (includes o18 p7) (includes o18 p9)
         (includes o18 p10) (includes o18 p12) (includes o18 p14)
         (includes o18 p15) (includes o18 p17) (includes o18 p18)
         (includes o18 p19) (includes o18 p20) (includes o18 p21)
         (includes o18 p22) (includes o18 p23) (includes o18 p25)
         (includes o18 p26) (includes o18 p27) (includes o18 p28)
         (includes o18 p29) (includes o18 p30) (includes o18 p31)
         (includes o18 p32) (includes o18 p33) (includes o18 p34)
         (includes o18 p36) (includes o18 p38) (includes o18 p41)
         (includes o18 p42) (includes o18 p45) (includes o18 p46)
         (includes o18 p47) (includes o18 p49) (includes o18 p50) (waiting o19)
         (includes o19 p3) (includes o19 p4) (includes o19 p5)
         (includes o19 p6) (includes o19 p9) (includes o19 p12)
         (includes o19 p14) (includes o19 p15) (includes o19 p17)
         (includes o19 p18) (includes o19 p20) (includes o19 p21)
         (includes o19 p22) (includes o19 p23) (includes o19 p24)
         (includes o19 p25) (includes o19 p26) (includes o19 p28)
         (includes o19 p29) (includes o19 p31) (includes o19 p33)
         (includes o19 p36) (includes o19 p40) (includes o19 p41)
         (includes o19 p42) (includes o19 p45) (includes o19 p46)
         (includes o19 p49) (includes o19 p50) (waiting o20) (includes o20 p1)
         (includes o20 p4) (includes o20 p5) (includes o20 p6)
         (includes o20 p7) (includes o20 p8) (includes o20 p9)
         (includes o20 p11) (includes o20 p12) (includes o20 p13)
         (includes o20 p15) (includes o20 p16) (includes o20 p17)
         (includes o20 p19) (includes o20 p20) (includes o20 p21)
         (includes o20 p22) (includes o20 p23) (includes o20 p27)
         (includes o20 p28) (includes o20 p30) (includes o20 p31)
         (includes o20 p32) (includes o20 p33) (includes o20 p34)
         (includes o20 p35) (includes o20 p36) (includes o20 p37)
         (includes o20 p39) (includes o20 p41) (includes o20 p43)
         (includes o20 p44) (includes o20 p45) (includes o20 p46)
         (includes o20 p47) (includes o20 p48) (includes o20 p50) (waiting o21)
         (includes o21 p1) (includes o21 p5) (includes o21 p6)
         (includes o21 p7) (includes o21 p8) (includes o21 p10)
         (includes o21 p11) (includes o21 p13) (includes o21 p16)
         (includes o21 p18) (includes o21 p19) (includes o21 p23)
         (includes o21 p26) (includes o21 p27) (includes o21 p29)
         (includes o21 p30) (includes o21 p32) (includes o21 p34)
         (includes o21 p35) (includes o21 p37) (includes o21 p38)
         (includes o21 p39) (includes o21 p43) (includes o21 p44)
         (includes o21 p47) (includes o21 p48) (waiting o22) (includes o22 p1)
         (includes o22 p2) (includes o22 p3) (includes o22 p5)
         (includes o22 p6) (includes o22 p7) (includes o22 p8)
         (includes o22 p9) (includes o22 p10) (includes o22 p11)
         (includes o22 p12) (includes o22 p13) (includes o22 p14)
         (includes o22 p15) (includes o22 p16) (includes o22 p17)
         (includes o22 p18) (includes o22 p20) (includes o22 p21)
         (includes o22 p22) (includes o22 p24) (includes o22 p25)
         (includes o22 p26) (includes o22 p28) (includes o22 p29)
         (includes o22 p30) (includes o22 p31) (includes o22 p32)
         (includes o22 p33) (includes o22 p34) (includes o22 p35)
         (includes o22 p36) (includes o22 p37) (includes o22 p38)
         (includes o22 p39) (includes o22 p40) (includes o22 p42)
         (includes o22 p45) (includes o22 p46) (includes o22 p47)
         (includes o22 p48) (includes o22 p49) (waiting o23) (includes o23 p48)
         (waiting o24) (includes o24 p1) (includes o24 p2) (includes o24 p3)
         (includes o24 p4) (includes o24 p5) (includes o24 p6)
         (includes o24 p7) (includes o24 p8) (includes o24 p9)
         (includes o24 p10) (includes o24 p12) (includes o24 p13)
         (includes o24 p14) (includes o24 p15) (includes o24 p16)
         (includes o24 p17) (includes o24 p18) (includes o24 p20)
         (includes o24 p21) (includes o24 p22) (includes o24 p23)
         (includes o24 p24) (includes o24 p25) (includes o24 p26)
         (includes o24 p27) (includes o24 p28) (includes o24 p30)
         (includes o24 p32) (includes o24 p33) (includes o24 p34)
         (includes o24 p35) (includes o24 p36) (includes o24 p37)
         (includes o24 p38) (includes o24 p40) (includes o24 p41)
         (includes o24 p42) (includes o24 p43) (includes o24 p44)
         (includes o24 p45) (includes o24 p46) (includes o24 p48)
         (includes o24 p49) (includes o24 p50) (waiting o25) (includes o25 p39)
         (includes o25 p44) (waiting o26) (includes o26 p2) (includes o26 p3)
         (includes o26 p4) (includes o26 p5) (includes o26 p6)
         (includes o26 p12) (includes o26 p13) (includes o26 p14)
         (includes o26 p15) (includes o26 p17) (includes o26 p18)
         (includes o26 p20) (includes o26 p21) (includes o26 p22)
         (includes o26 p23) (includes o26 p24) (includes o26 p25)
         (includes o26 p26) (includes o26 p28) (includes o26 p29)
         (includes o26 p31) (includes o26 p33) (includes o26 p36)
         (includes o26 p38) (includes o26 p42) (includes o26 p45)
         (includes o26 p46) (includes o26 p49) (includes o26 p50) (waiting o27)
         (includes o27 p1) (includes o27 p2) (includes o27 p3)
         (includes o27 p4) (includes o27 p5) (includes o27 p6)
         (includes o27 p7) (includes o27 p8) (includes o27 p9)
         (includes o27 p10) (includes o27 p11) (includes o27 p12)
         (includes o27 p13) (includes o27 p14) (includes o27 p15)
         (includes o27 p16) (includes o27 p18) (includes o27 p19)
         (includes o27 p20) (includes o27 p21) (includes o27 p22)
         (includes o27 p23) (includes o27 p24) (includes o27 p25)
         (includes o27 p26) (includes o27 p27) (includes o27 p28)
         (includes o27 p29) (includes o27 p31) (includes o27 p32)
         (includes o27 p33) (includes o27 p34) (includes o27 p35)
         (includes o27 p36) (includes o27 p37) (includes o27 p38)
         (includes o27 p39) (includes o27 p40) (includes o27 p41)
         (includes o27 p42) (includes o27 p43) (includes o27 p44)
         (includes o27 p45) (includes o27 p46) (includes o27 p47)
         (includes o27 p48) (includes o27 p49) (includes o27 p50) (waiting o28)
         (includes o28 p1) (includes o28 p2) (includes o28 p3)
         (includes o28 p4) (includes o28 p5) (includes o28 p6)
         (includes o28 p7) (includes o28 p8) (includes o28 p10)
         (includes o28 p11) (includes o28 p12) (includes o28 p13)
         (includes o28 p14) (includes o28 p15) (includes o28 p16)
         (includes o28 p17) (includes o28 p18) (includes o28 p19)
         (includes o28 p20) (includes o28 p21) (includes o28 p22)
         (includes o28 p23) (includes o28 p24) (includes o28 p25)
         (includes o28 p26) (includes o28 p27) (includes o28 p28)
         (includes o28 p29) (includes o28 p30) (includes o28 p31)
         (includes o28 p32) (includes o28 p33) (includes o28 p34)
         (includes o28 p35) (includes o28 p36) (includes o28 p38)
         (includes o28 p39) (includes o28 p40) (includes o28 p41)
         (includes o28 p42) (includes o28 p43) (includes o28 p44)
         (includes o28 p45) (includes o28 p46) (includes o28 p47) (waiting o29)
         (includes o29 p1) (includes o29 p2) (includes o29 p3)
         (includes o29 p4) (includes o29 p5) (includes o29 p6)
         (includes o29 p7) (includes o29 p8) (includes o29 p9)
         (includes o29 p10) (includes o29 p12) (includes o29 p13)
         (includes o29 p14) (includes o29 p15) (includes o29 p16)
         (includes o29 p17) (includes o29 p18) (includes o29 p19)
         (includes o29 p20) (includes o29 p21) (includes o29 p22)
         (includes o29 p23) (includes o29 p25) (includes o29 p26)
         (includes o29 p27) (includes o29 p28) (includes o29 p29)
         (includes o29 p30) (includes o29 p32) (includes o29 p33)
         (includes o29 p34) (includes o29 p36) (includes o29 p37)
         (includes o29 p38) (includes o29 p39) (includes o29 p41)
         (includes o29 p42) (includes o29 p43) (includes o29 p44)
         (includes o29 p45) (includes o29 p46) (includes o29 p47)
         (includes o29 p48) (includes o29 p49) (includes o29 p50) (waiting o30)
         (includes o30 p7) (includes o30 p10) (includes o30 p11)
         (includes o30 p13) (includes o30 p16) (includes o30 p18)
         (includes o30 p19) (includes o30 p22) (includes o30 p27)
         (includes o30 p30) (includes o30 p34) (includes o30 p35)
         (includes o30 p37) (includes o30 p38) (includes o30 p39)
         (includes o30 p43) (includes o30 p44) (includes o30 p47)
         (includes o30 p48) (waiting o31) (includes o31 p1) (includes o31 p2)
         (includes o31 p3) (includes o31 p4) (includes o31 p5)
         (includes o31 p6) (includes o31 p7) (includes o31 p8)
         (includes o31 p9) (includes o31 p10) (includes o31 p11)
         (includes o31 p12) (includes o31 p13) (includes o31 p14)
         (includes o31 p15) (includes o31 p16) (includes o31 p17)
         (includes o31 p18) (includes o31 p19) (includes o31 p20)
         (includes o31 p21) (includes o31 p22) (includes o31 p23)
         (includes o31 p24) (includes o31 p26) (includes o31 p27)
         (includes o31 p28) (includes o31 p29) (includes o31 p30)
         (includes o31 p31) (includes o31 p32) (includes o31 p33)
         (includes o31 p34) (includes o31 p35) (includes o31 p36)
         (includes o31 p37) (includes o31 p38) (includes o31 p39)
         (includes o31 p41) (includes o31 p42) (includes o31 p43)
         (includes o31 p44) (includes o31 p45) (includes o31 p46)
         (includes o31 p47) (includes o31 p49) (includes o31 p50) (waiting o32)
         (includes o32 p43) (waiting o33) (includes o33 p1) (includes o33 p2)
         (includes o33 p3) (includes o33 p4) (includes o33 p5)
         (includes o33 p6) (includes o33 p7) (includes o33 p8)
         (includes o33 p9) (includes o33 p10) (includes o33 p11)
         (includes o33 p12) (includes o33 p13) (includes o33 p14)
         (includes o33 p15) (includes o33 p16) (includes o33 p17)
         (includes o33 p18) (includes o33 p20) (includes o33 p21)
         (includes o33 p22) (includes o33 p23) (includes o33 p24)
         (includes o33 p25) (includes o33 p26) (includes o33 p27)
         (includes o33 p28) (includes o33 p29) (includes o33 p30)
         (includes o33 p31) (includes o33 p32) (includes o33 p33)
         (includes o33 p34) (includes o33 p35) (includes o33 p36)
         (includes o33 p37) (includes o33 p38) (includes o33 p39)
         (includes o33 p40) (includes o33 p41) (includes o33 p42)
         (includes o33 p43) (includes o33 p44) (includes o33 p46)
         (includes o33 p47) (includes o33 p48) (includes o33 p49)
         (includes o33 p50) (waiting o34) (includes o34 p11) (includes o34 p37)
         (waiting o35) (includes o35 p1) (includes o35 p7) (includes o35 p8)
         (includes o35 p10) (includes o35 p11) (includes o35 p16)
         (includes o35 p19) (includes o35 p27) (includes o35 p30)
         (includes o35 p34) (includes o35 p35) (includes o35 p37)
         (includes o35 p39) (includes o35 p44) (includes o35 p47)
         (includes o35 p48) (waiting o36) (includes o36 p1) (includes o36 p7)
         (includes o36 p8) (includes o36 p10) (includes o36 p11)
         (includes o36 p16) (includes o36 p19) (includes o36 p30)
         (includes o36 p32) (includes o36 p34) (includes o36 p35)
         (includes o36 p37) (includes o36 p39) (includes o36 p43)
         (includes o36 p44) (includes o36 p47) (includes o36 p48) (waiting o37)
         (includes o37 p1) (includes o37 p7) (includes o37 p10)
         (includes o37 p11) (includes o37 p16) (includes o37 p18)
         (includes o37 p22) (includes o37 p26) (includes o37 p27)
         (includes o37 p29) (includes o37 p30) (includes o37 p32)
         (includes o37 p34) (includes o37 p35) (includes o37 p37)
         (includes o37 p38) (includes o37 p39) (includes o37 p43)
         (includes o37 p47) (includes o37 p48) (waiting o38) (includes o38 p2)
         (includes o38 p4) (includes o38 p5) (includes o38 p6)
         (includes o38 p9) (includes o38 p12) (includes o38 p13)
         (includes o38 p14) (includes o38 p15) (includes o38 p17)
         (includes o38 p18) (includes o38 p19) (includes o38 p20)
         (includes o38 p21) (includes o38 p22) (includes o38 p23)
         (includes o38 p24) (includes o38 p25) (includes o38 p26)
         (includes o38 p27) (includes o38 p28) (includes o38 p29)
         (includes o38 p30) (includes o38 p31) (includes o38 p33)
         (includes o38 p34) (includes o38 p35) (includes o38 p36)
         (includes o38 p38) (includes o38 p40) (includes o38 p41)
         (includes o38 p42) (includes o38 p45) (includes o38 p46)
         (includes o38 p50) (waiting o39) (includes o39 p11) (includes o39 p37)
         (includes o39 p43) (includes o39 p44) (includes o39 p48) (waiting o40)
         (includes o40 p1) (includes o40 p2) (includes o40 p3)
         (includes o40 p4) (includes o40 p5) (includes o40 p6)
         (includes o40 p7) (includes o40 p8) (includes o40 p10)
         (includes o40 p11) (includes o40 p12) (includes o40 p13)
         (includes o40 p14) (includes o40 p15) (includes o40 p16)
         (includes o40 p17) (includes o40 p18) (includes o40 p19)
         (includes o40 p20) (includes o40 p21) (includes o40 p22)
         (includes o40 p23) (includes o40 p24) (includes o40 p26)
         (includes o40 p27) (includes o40 p28) (includes o40 p29)
         (includes o40 p30) (includes o40 p31) (includes o40 p32)
         (includes o40 p33) (includes o40 p34) (includes o40 p35)
         (includes o40 p36) (includes o40 p37) (includes o40 p38)
         (includes o40 p39) (includes o40 p42) (includes o40 p43)
         (includes o40 p44) (includes o40 p45) (includes o40 p46)
         (includes o40 p47) (includes o40 p48) (includes o40 p49)
         (includes o40 p50) (waiting o41) (includes o41 p1) (includes o41 p7)
         (includes o41 p8) (includes o41 p10) (includes o41 p11)
         (includes o41 p13) (includes o41 p16) (includes o41 p19)
         (includes o41 p27) (includes o41 p30) (includes o41 p32)
         (includes o41 p34) (includes o41 p35) (includes o41 p37)
         (includes o41 p43) (includes o41 p44) (includes o41 p47)
         (includes o41 p48) (waiting o42) (includes o42 p7) (includes o42 p8)
         (includes o42 p16) (includes o42 p19) (includes o42 p32)
         (includes o42 p39) (includes o42 p47) (waiting o43) (includes o43 p1)
         (includes o43 p7) (includes o43 p8) (includes o43 p10)
         (includes o43 p11) (includes o43 p16) (includes o43 p19)
         (includes o43 p27) (includes o43 p30) (includes o43 p32)
         (includes o43 p34) (includes o43 p35) (includes o43 p39)
         (includes o43 p43) (includes o43 p44) (includes o43 p47)
         (includes o43 p48) (waiting o44) (includes o44 p2) (includes o44 p3)
         (includes o44 p14) (includes o44 p25) (includes o44 p40)
         (includes o44 p42) (includes o44 p49) (waiting o45) (includes o45 p4)
         (includes o45 p5) (includes o45 p6) (includes o45 p7)
         (includes o45 p9) (includes o45 p13) (includes o45 p14)
         (includes o45 p15) (includes o45 p17) (includes o45 p18)
         (includes o45 p19) (includes o45 p20) (includes o45 p21)
         (includes o45 p22) (includes o45 p23) (includes o45 p25)
         (includes o45 p26) (includes o45 p28) (includes o45 p29)
         (includes o45 p30) (includes o45 p31) (includes o45 p33)
         (includes o45 p34) (includes o45 p35) (includes o45 p36)
         (includes o45 p38) (includes o45 p40) (includes o45 p41)
         (includes o45 p42) (includes o45 p45) (includes o45 p46)
         (includes o45 p50) (waiting o46) (includes o46 p1) (includes o46 p2)
         (includes o46 p3) (includes o46 p4) (includes o46 p5)
         (includes o46 p7) (includes o46 p8) (includes o46 p9)
         (includes o46 p10) (includes o46 p11) (includes o46 p12)
         (includes o46 p13) (includes o46 p14) (includes o46 p16)
         (includes o46 p17) (includes o46 p19) (includes o46 p20)
         (includes o46 p21) (includes o46 p22) (includes o46 p23)
         (includes o46 p24) (includes o46 p25) (includes o46 p26)
         (includes o46 p27) (includes o46 p29) (includes o46 p31)
         (includes o46 p32) (includes o46 p33) (includes o46 p34)
         (includes o46 p35) (includes o46 p36) (includes o46 p37)
         (includes o46 p38) (includes o46 p40) (includes o46 p42)
         (includes o46 p43) (includes o46 p44) (includes o46 p45)
         (includes o46 p46) (includes o46 p47) (includes o46 p48)
         (includes o46 p49) (includes o46 p50) (waiting o47) (includes o47 p2)
         (includes o47 p3) (includes o47 p4) (includes o47 p14)
         (includes o47 p17) (includes o47 p24) (includes o47 p25)
         (includes o47 p33) (includes o47 p40) (includes o47 p41)
         (includes o47 p46) (includes o47 p49) (includes o47 p50) (waiting o48)
         (includes o48 p3) (includes o48 p4) (includes o48 p5)
         (includes o48 p6) (includes o48 p9) (includes o48 p12)
         (includes o48 p14) (includes o48 p15) (includes o48 p17)
         (includes o48 p18) (includes o48 p20) (includes o48 p21)
         (includes o48 p22) (includes o48 p23) (includes o48 p24)
         (includes o48 p25) (includes o48 p26) (includes o48 p27)
         (includes o48 p28) (includes o48 p29) (includes o48 p30)
         (includes o48 p31) (includes o48 p33) (includes o48 p35)
         (includes o48 p36) (includes o48 p38) (includes o48 p40)
         (includes o48 p41) (includes o48 p42) (includes o48 p45)
         (includes o48 p46) (includes o48 p49) (includes o48 p50) (waiting o49)
         (includes o49 p1) (includes o49 p2) (includes o49 p3)
         (includes o49 p4) (includes o49 p5) (includes o49 p6)
         (includes o49 p7) (includes o49 p9) (includes o49 p10)
         (includes o49 p11) (includes o49 p12) (includes o49 p13)
         (includes o49 p14) (includes o49 p16) (includes o49 p17)
         (includes o49 p18) (includes o49 p19) (includes o49 p20)
         (includes o49 p21) (includes o49 p22) (includes o49 p23)
         (includes o49 p24) (includes o49 p25) (includes o49 p26)
         (includes o49 p27) (includes o49 p28) (includes o49 p29)
         (includes o49 p30) (includes o49 p31) (includes o49 p32)
         (includes o49 p34) (includes o49 p35) (includes o49 p36)
         (includes o49 p39) (includes o49 p40) (includes o49 p41)
         (includes o49 p42) (includes o49 p43) (includes o49 p44)
         (includes o49 p45) (includes o49 p46) (includes o49 p47)
         (includes o49 p48) (includes o49 p49) (includes o49 p50) (waiting o50)
         (includes o50 p1) (includes o50 p7) (includes o50 p8)
         (includes o50 p10) (includes o50 p11) (includes o50 p16)
         (includes o50 p32) (includes o50 p37) (includes o50 p39)
         (includes o50 p43) (includes o50 p44) (includes o50 p47)
         (includes o50 p48))
        (:goal
         (and (shipped o1)
              (shipped o2)
              (shipped o3)
              (shipped o4)
              (shipped o5)
              (shipped o6)
              (shipped o7)
              (shipped o8)
              (shipped o9)
              (shipped o10)
              (shipped o11)
              (shipped o12)
              (shipped o13)
              (shipped o14)
              (shipped o15)
              (shipped o16)
              (shipped o17)
              (shipped o18)
              (shipped o19)
              (shipped o20)
              (shipped o21)
              (shipped o22)
              (shipped o23)
              (shipped o24)
              (shipped o25)
              (shipped o26)
              (shipped o27)
              (shipped o28)
              (shipped o29)
              (shipped o30)
              (shipped o31)
              (shipped o32)
              (shipped o33)
              (shipped o34)
              (shipped o35)
              (shipped o36)
              (shipped o37)
              (shipped o38)
              (shipped o39)
              (shipped o40)
              (shipped o41)
              (shipped o42)
              (shipped o43)
              (shipped o44)
              (shipped o45)
              (shipped o46)
              (shipped o47)
              (shipped o48)
              (shipped o49)
              (shipped o50)
              (preference d-o1-p1 (delivered o1 p1))
              (preference d-o1-p4 (delivered o1 p4))
              (preference d-o1-p5 (delivered o1 p5))
              (preference d-o1-p6 (delivered o1 p6))
              (preference d-o1-p7 (delivered o1 p7))
              (preference d-o1-p9 (delivered o1 p9))
              (preference d-o1-p10 (delivered o1 p10))
              (preference d-o1-p11 (delivered o1 p11))
              (preference d-o1-p12 (delivered o1 p12))
              (preference d-o1-p13 (delivered o1 p13))
              (preference d-o1-p15 (delivered o1 p15))
              (preference d-o1-p17 (delivered o1 p17))
              (preference d-o1-p18 (delivered o1 p18))
              (preference d-o1-p19 (delivered o1 p19))
              (preference d-o1-p20 (delivered o1 p20))
              (preference d-o1-p21 (delivered o1 p21))
              (preference d-o1-p22 (delivered o1 p22))
              (preference d-o1-p23 (delivered o1 p23))
              (preference d-o1-p26 (delivered o1 p26))
              (preference d-o1-p27 (delivered o1 p27))
              (preference d-o1-p28 (delivered o1 p28))
              (preference d-o1-p29 (delivered o1 p29))
              (preference d-o1-p30 (delivered o1 p30))
              (preference d-o1-p31 (delivered o1 p31))
              (preference d-o1-p34 (delivered o1 p34))
              (preference d-o1-p36 (delivered o1 p36))
              (preference d-o1-p37 (delivered o1 p37))
              (preference d-o1-p38 (delivered o1 p38))
              (preference d-o1-p39 (delivered o1 p39))
              (preference d-o1-p41 (delivered o1 p41))
              (preference d-o1-p43 (delivered o1 p43))
              (preference d-o1-p44 (delivered o1 p44))
              (preference d-o1-p45 (delivered o1 p45))
              (preference d-o1-p47 (delivered o1 p47))
              (preference d-o1-p48 (delivered o1 p48))
              (preference d-o2-p3 (delivered o2 p3))
              (preference d-o2-p5 (delivered o2 p5))
              (preference d-o2-p6 (delivered o2 p6))
              (preference d-o2-p12 (delivered o2 p12))
              (preference d-o2-p17 (delivered o2 p17))
              (preference d-o2-p20 (delivered o2 p20))
              (preference d-o2-p21 (delivered o2 p21))
              (preference d-o2-p23 (delivered o2 p23))
              (preference d-o2-p24 (delivered o2 p24))
              (preference d-o2-p25 (delivered o2 p25))
              (preference d-o2-p26 (delivered o2 p26))
              (preference d-o2-p28 (delivered o2 p28))
              (preference d-o2-p29 (delivered o2 p29))
              (preference d-o2-p31 (delivered o2 p31))
              (preference d-o2-p33 (delivered o2 p33))
              (preference d-o2-p36 (delivered o2 p36))
              (preference d-o2-p41 (delivered o2 p41))
              (preference d-o2-p42 (delivered o2 p42))
              (preference d-o2-p45 (delivered o2 p45))
              (preference d-o2-p46 (delivered o2 p46))
              (preference d-o2-p49 (delivered o2 p49))
              (preference d-o2-p50 (delivered o2 p50))
              (preference d-o3-p2 (delivered o3 p2))
              (preference d-o3-p24 (delivered o3 p24))
              (preference d-o3-p25 (delivered o3 p25))
              (preference d-o3-p40 (delivered o3 p40))
              (preference d-o3-p42 (delivered o3 p42))
              (preference d-o3-p46 (delivered o3 p46))
              (preference d-o3-p49 (delivered o3 p49))
              (preference d-o3-p50 (delivered o3 p50))
              (preference d-o4-p1 (delivered o4 p1))
              (preference d-o4-p2 (delivered o4 p2))
              (preference d-o4-p4 (delivered o4 p4))
              (preference d-o4-p5 (delivered o4 p5))
              (preference d-o4-p7 (delivered o4 p7))
              (preference d-o4-p8 (delivered o4 p8))
              (preference d-o4-p10 (delivered o4 p10))
              (preference d-o4-p11 (delivered o4 p11))
              (preference d-o4-p13 (delivered o4 p13))
              (preference d-o4-p14 (delivered o4 p14))
              (preference d-o4-p15 (delivered o4 p15))
              (preference d-o4-p16 (delivered o4 p16))
              (preference d-o4-p17 (delivered o4 p17))
              (preference d-o4-p19 (delivered o4 p19))
              (preference d-o4-p20 (delivered o4 p20))
              (preference d-o4-p22 (delivered o4 p22))
              (preference d-o4-p23 (delivered o4 p23))
              (preference d-o4-p24 (delivered o4 p24))
              (preference d-o4-p25 (delivered o4 p25))
              (preference d-o4-p26 (delivered o4 p26))
              (preference d-o4-p28 (delivered o4 p28))
              (preference d-o4-p29 (delivered o4 p29))
              (preference d-o4-p30 (delivered o4 p30))
              (preference d-o4-p31 (delivered o4 p31))
              (preference d-o4-p32 (delivered o4 p32))
              (preference d-o4-p33 (delivered o4 p33))
              (preference d-o4-p34 (delivered o4 p34))
              (preference d-o4-p35 (delivered o4 p35))
              (preference d-o4-p36 (delivered o4 p36))
              (preference d-o4-p37 (delivered o4 p37))
              (preference d-o4-p39 (delivered o4 p39))
              (preference d-o4-p40 (delivered o4 p40))
              (preference d-o4-p41 (delivered o4 p41))
              (preference d-o4-p42 (delivered o4 p42))
              (preference d-o4-p44 (delivered o4 p44))
              (preference d-o4-p45 (delivered o4 p45))
              (preference d-o4-p46 (delivered o4 p46))
              (preference d-o4-p47 (delivered o4 p47))
              (preference d-o4-p48 (delivered o4 p48))
              (preference d-o4-p49 (delivered o4 p49))
              (preference d-o5-p2 (delivered o5 p2))
              (preference d-o5-p3 (delivered o5 p3))
              (preference d-o5-p4 (delivered o5 p4))
              (preference d-o5-p5 (delivered o5 p5))
              (preference d-o5-p6 (delivered o5 p6))
              (preference d-o5-p9 (delivered o5 p9))
              (preference d-o5-p12 (delivered o5 p12))
              (preference d-o5-p14 (delivered o5 p14))
              (preference d-o5-p15 (delivered o5 p15))
              (preference d-o5-p17 (delivered o5 p17))
              (preference d-o5-p18 (delivered o5 p18))
              (preference d-o5-p20 (delivered o5 p20))
              (preference d-o5-p22 (delivered o5 p22))
              (preference d-o5-p23 (delivered o5 p23))
              (preference d-o5-p24 (delivered o5 p24))
              (preference d-o5-p25 (delivered o5 p25))
              (preference d-o5-p26 (delivered o5 p26))
              (preference d-o5-p28 (delivered o5 p28))
              (preference d-o5-p31 (delivered o5 p31))
              (preference d-o5-p33 (delivered o5 p33))
              (preference d-o5-p36 (delivered o5 p36))
              (preference d-o5-p38 (delivered o5 p38))
              (preference d-o5-p40 (delivered o5 p40))
              (preference d-o5-p41 (delivered o5 p41))
              (preference d-o5-p42 (delivered o5 p42))
              (preference d-o5-p45 (delivered o5 p45))
              (preference d-o5-p46 (delivered o5 p46))
              (preference d-o5-p50 (delivered o5 p50))
              (preference d-o6-p1 (delivered o6 p1))
              (preference d-o6-p2 (delivered o6 p2))
              (preference d-o6-p3 (delivered o6 p3))
              (preference d-o6-p4 (delivered o6 p4))
              (preference d-o6-p5 (delivered o6 p5))
              (preference d-o6-p6 (delivered o6 p6))
              (preference d-o6-p7 (delivered o6 p7))
              (preference d-o6-p8 (delivered o6 p8))
              (preference d-o6-p10 (delivered o6 p10))
              (preference d-o6-p11 (delivered o6 p11))
              (preference d-o6-p12 (delivered o6 p12))
              (preference d-o6-p13 (delivered o6 p13))
              (preference d-o6-p14 (delivered o6 p14))
              (preference d-o6-p15 (delivered o6 p15))
              (preference d-o6-p16 (delivered o6 p16))
              (preference d-o6-p17 (delivered o6 p17))
              (preference d-o6-p18 (delivered o6 p18))
              (preference d-o6-p19 (delivered o6 p19))
              (preference d-o6-p20 (delivered o6 p20))
              (preference d-o6-p21 (delivered o6 p21))
              (preference d-o6-p22 (delivered o6 p22))
              (preference d-o6-p23 (delivered o6 p23))
              (preference d-o6-p24 (delivered o6 p24))
              (preference d-o6-p25 (delivered o6 p25))
              (preference d-o6-p26 (delivered o6 p26))
              (preference d-o6-p27 (delivered o6 p27))
              (preference d-o6-p28 (delivered o6 p28))
              (preference d-o6-p30 (delivered o6 p30))
              (preference d-o6-p31 (delivered o6 p31))
              (preference d-o6-p32 (delivered o6 p32))
              (preference d-o6-p33 (delivered o6 p33))
              (preference d-o6-p35 (delivered o6 p35))
              (preference d-o6-p36 (delivered o6 p36))
              (preference d-o6-p37 (delivered o6 p37))
              (preference d-o6-p38 (delivered o6 p38))
              (preference d-o6-p39 (delivered o6 p39))
              (preference d-o6-p42 (delivered o6 p42))
              (preference d-o6-p44 (delivered o6 p44))
              (preference d-o6-p45 (delivered o6 p45))
              (preference d-o6-p46 (delivered o6 p46))
              (preference d-o6-p47 (delivered o6 p47))
              (preference d-o6-p48 (delivered o6 p48))
              (preference d-o6-p49 (delivered o6 p49))
              (preference d-o6-p50 (delivered o6 p50))
              (preference d-o7-p1 (delivered o7 p1))
              (preference d-o7-p5 (delivered o7 p5))
              (preference d-o7-p6 (delivered o7 p6))
              (preference d-o7-p7 (delivered o7 p7))
              (preference d-o7-p8 (delivered o7 p8))
              (preference d-o7-p9 (delivered o7 p9))
              (preference d-o7-p10 (delivered o7 p10))
              (preference d-o7-p11 (delivered o7 p11))
              (preference d-o7-p12 (delivered o7 p12))
              (preference d-o7-p13 (delivered o7 p13))
              (preference d-o7-p15 (delivered o7 p15))
              (preference d-o7-p16 (delivered o7 p16))
              (preference d-o7-p18 (delivered o7 p18))
              (preference d-o7-p19 (delivered o7 p19))
              (preference d-o7-p20 (delivered o7 p20))
              (preference d-o7-p21 (delivered o7 p21))
              (preference d-o7-p22 (delivered o7 p22))
              (preference d-o7-p23 (delivered o7 p23))
              (preference d-o7-p26 (delivered o7 p26))
              (preference d-o7-p27 (delivered o7 p27))
              (preference d-o7-p28 (delivered o7 p28))
              (preference d-o7-p29 (delivered o7 p29))
              (preference d-o7-p30 (delivered o7 p30))
              (preference d-o7-p31 (delivered o7 p31))
              (preference d-o7-p32 (delivered o7 p32))
              (preference d-o7-p34 (delivered o7 p34))
              (preference d-o7-p35 (delivered o7 p35))
              (preference d-o7-p36 (delivered o7 p36))
              (preference d-o7-p37 (delivered o7 p37))
              (preference d-o7-p39 (delivered o7 p39))
              (preference d-o7-p43 (delivered o7 p43))
              (preference d-o7-p44 (delivered o7 p44))
              (preference d-o7-p45 (delivered o7 p45))
              (preference d-o7-p47 (delivered o7 p47))
              (preference d-o7-p48 (delivered o7 p48))
              (preference d-o8-p11 (delivered o8 p11))
              (preference d-o8-p37 (delivered o8 p37))
              (preference d-o8-p43 (delivered o8 p43))
              (preference d-o8-p44 (delivered o8 p44))
              (preference d-o9-p1 (delivered o9 p1))
              (preference d-o9-p2 (delivered o9 p2))
              (preference d-o9-p3 (delivered o9 p3))
              (preference d-o9-p4 (delivered o9 p4))
              (preference d-o9-p5 (delivered o9 p5))
              (preference d-o9-p6 (delivered o9 p6))
              (preference d-o9-p7 (delivered o9 p7))
              (preference d-o9-p8 (delivered o9 p8))
              (preference d-o9-p9 (delivered o9 p9))
              (preference d-o9-p10 (delivered o9 p10))
              (preference d-o9-p11 (delivered o9 p11))
              (preference d-o9-p13 (delivered o9 p13))
              (preference d-o9-p14 (delivered o9 p14))
              (preference d-o9-p16 (delivered o9 p16))
              (preference d-o9-p17 (delivered o9 p17))
              (preference d-o9-p20 (delivered o9 p20))
              (preference d-o9-p21 (delivered o9 p21))
              (preference d-o9-p22 (delivered o9 p22))
              (preference d-o9-p23 (delivered o9 p23))
              (preference d-o9-p24 (delivered o9 p24))
              (preference d-o9-p25 (delivered o9 p25))
              (preference d-o9-p26 (delivered o9 p26))
              (preference d-o9-p27 (delivered o9 p27))
              (preference d-o9-p28 (delivered o9 p28))
              (preference d-o9-p29 (delivered o9 p29))
              (preference d-o9-p30 (delivered o9 p30))
              (preference d-o9-p31 (delivered o9 p31))
              (preference d-o9-p32 (delivered o9 p32))
              (preference d-o9-p33 (delivered o9 p33))
              (preference d-o9-p34 (delivered o9 p34))
              (preference d-o9-p35 (delivered o9 p35))
              (preference d-o9-p36 (delivered o9 p36))
              (preference d-o9-p37 (delivered o9 p37))
              (preference d-o9-p38 (delivered o9 p38))
              (preference d-o9-p39 (delivered o9 p39))
              (preference d-o9-p40 (delivered o9 p40))
              (preference d-o9-p42 (delivered o9 p42))
              (preference d-o9-p43 (delivered o9 p43))
              (preference d-o9-p44 (delivered o9 p44))
              (preference d-o9-p45 (delivered o9 p45))
              (preference d-o9-p46 (delivered o9 p46))
              (preference d-o9-p47 (delivered o9 p47))
              (preference d-o9-p48 (delivered o9 p48))
              (preference d-o9-p50 (delivered o9 p50))
              (preference d-o10-p1 (delivered o10 p1))
              (preference d-o10-p2 (delivered o10 p2))
              (preference d-o10-p3 (delivered o10 p3))
              (preference d-o10-p4 (delivered o10 p4))
              (preference d-o10-p5 (delivered o10 p5))
              (preference d-o10-p6 (delivered o10 p6))
              (preference d-o10-p7 (delivered o10 p7))
              (preference d-o10-p8 (delivered o10 p8))
              (preference d-o10-p9 (delivered o10 p9))
              (preference d-o10-p10 (delivered o10 p10))
              (preference d-o10-p11 (delivered o10 p11))
              (preference d-o10-p12 (delivered o10 p12))
              (preference d-o10-p14 (delivered o10 p14))
              (preference d-o10-p15 (delivered o10 p15))
              (preference d-o10-p16 (delivered o10 p16))
              (preference d-o10-p17 (delivered o10 p17))
              (preference d-o10-p18 (delivered o10 p18))
              (preference d-o10-p19 (delivered o10 p19))
              (preference d-o10-p20 (delivered o10 p20))
              (preference d-o10-p22 (delivered o10 p22))
              (preference d-o10-p23 (delivered o10 p23))
              (preference d-o10-p24 (delivered o10 p24))
              (preference d-o10-p26 (delivered o10 p26))
              (preference d-o10-p27 (delivered o10 p27))
              (preference d-o10-p28 (delivered o10 p28))
              (preference d-o10-p29 (delivered o10 p29))
              (preference d-o10-p30 (delivered o10 p30))
              (preference d-o10-p31 (delivered o10 p31))
              (preference d-o10-p32 (delivered o10 p32))
              (preference d-o10-p33 (delivered o10 p33))
              (preference d-o10-p34 (delivered o10 p34))
              (preference d-o10-p35 (delivered o10 p35))
              (preference d-o10-p36 (delivered o10 p36))
              (preference d-o10-p37 (delivered o10 p37))
              (preference d-o10-p38 (delivered o10 p38))
              (preference d-o10-p39 (delivered o10 p39))
              (preference d-o10-p40 (delivered o10 p40))
              (preference d-o10-p42 (delivered o10 p42))
              (preference d-o10-p43 (delivered o10 p43))
              (preference d-o10-p44 (delivered o10 p44))
              (preference d-o10-p45 (delivered o10 p45))
              (preference d-o10-p46 (delivered o10 p46))
              (preference d-o10-p47 (delivered o10 p47))
              (preference d-o10-p48 (delivered o10 p48))
              (preference d-o10-p49 (delivered o10 p49))
              (preference d-o10-p50 (delivered o10 p50))
              (preference d-o11-p1 (delivered o11 p1))
              (preference d-o11-p2 (delivered o11 p2))
              (preference d-o11-p3 (delivered o11 p3))
              (preference d-o11-p4 (delivered o11 p4))
              (preference d-o11-p5 (delivered o11 p5))
              (preference d-o11-p6 (delivered o11 p6))
              (preference d-o11-p7 (delivered o11 p7))
              (preference d-o11-p9 (delivered o11 p9))
              (preference d-o11-p10 (delivered o11 p10))
              (preference d-o11-p12 (delivered o11 p12))
              (preference d-o11-p13 (delivered o11 p13))
              (preference d-o11-p14 (delivered o11 p14))
              (preference d-o11-p15 (delivered o11 p15))
              (preference d-o11-p16 (delivered o11 p16))
              (preference d-o11-p17 (delivered o11 p17))
              (preference d-o11-p18 (delivered o11 p18))
              (preference d-o11-p20 (delivered o11 p20))
              (preference d-o11-p21 (delivered o11 p21))
              (preference d-o11-p22 (delivered o11 p22))
              (preference d-o11-p23 (delivered o11 p23))
              (preference d-o11-p24 (delivered o11 p24))
              (preference d-o11-p25 (delivered o11 p25))
              (preference d-o11-p26 (delivered o11 p26))
              (preference d-o11-p27 (delivered o11 p27))
              (preference d-o11-p28 (delivered o11 p28))
              (preference d-o11-p29 (delivered o11 p29))
              (preference d-o11-p30 (delivered o11 p30))
              (preference d-o11-p31 (delivered o11 p31))
              (preference d-o11-p32 (delivered o11 p32))
              (preference d-o11-p34 (delivered o11 p34))
              (preference d-o11-p35 (delivered o11 p35))
              (preference d-o11-p36 (delivered o11 p36))
              (preference d-o11-p38 (delivered o11 p38))
              (preference d-o11-p39 (delivered o11 p39))
              (preference d-o11-p41 (delivered o11 p41))
              (preference d-o11-p42 (delivered o11 p42))
              (preference d-o11-p46 (delivered o11 p46))
              (preference d-o11-p47 (delivered o11 p47))
              (preference d-o11-p49 (delivered o11 p49))
              (preference d-o11-p50 (delivered o11 p50))
              (preference d-o12-p3 (delivered o12 p3))
              (preference d-o12-p24 (delivered o12 p24))
              (preference d-o12-p49 (delivered o12 p49))
              (preference d-o13-p1 (delivered o13 p1))
              (preference d-o13-p2 (delivered o13 p2))
              (preference d-o13-p3 (delivered o13 p3))
              (preference d-o13-p4 (delivered o13 p4))
              (preference d-o13-p5 (delivered o13 p5))
              (preference d-o13-p6 (delivered o13 p6))
              (preference d-o13-p7 (delivered o13 p7))
              (preference d-o13-p8 (delivered o13 p8))
              (preference d-o13-p9 (delivered o13 p9))
              (preference d-o13-p10 (delivered o13 p10))
              (preference d-o13-p11 (delivered o13 p11))
              (preference d-o13-p13 (delivered o13 p13))
              (preference d-o13-p14 (delivered o13 p14))
              (preference d-o13-p15 (delivered o13 p15))
              (preference d-o13-p16 (delivered o13 p16))
              (preference d-o13-p17 (delivered o13 p17))
              (preference d-o13-p18 (delivered o13 p18))
              (preference d-o13-p19 (delivered o13 p19))
              (preference d-o13-p20 (delivered o13 p20))
              (preference d-o13-p21 (delivered o13 p21))
              (preference d-o13-p22 (delivered o13 p22))
              (preference d-o13-p23 (delivered o13 p23))
              (preference d-o13-p24 (delivered o13 p24))
              (preference d-o13-p25 (delivered o13 p25))
              (preference d-o13-p26 (delivered o13 p26))
              (preference d-o13-p27 (delivered o13 p27))
              (preference d-o13-p28 (delivered o13 p28))
              (preference d-o13-p29 (delivered o13 p29))
              (preference d-o13-p30 (delivered o13 p30))
              (preference d-o13-p31 (delivered o13 p31))
              (preference d-o13-p32 (delivered o13 p32))
              (preference d-o13-p33 (delivered o13 p33))
              (preference d-o13-p34 (delivered o13 p34))
              (preference d-o13-p35 (delivered o13 p35))
              (preference d-o13-p36 (delivered o13 p36))
              (preference d-o13-p37 (delivered o13 p37))
              (preference d-o13-p38 (delivered o13 p38))
              (preference d-o13-p41 (delivered o13 p41))
              (preference d-o13-p42 (delivered o13 p42))
              (preference d-o13-p44 (delivered o13 p44))
              (preference d-o13-p45 (delivered o13 p45))
              (preference d-o13-p46 (delivered o13 p46))
              (preference d-o13-p47 (delivered o13 p47))
              (preference d-o13-p48 (delivered o13 p48))
              (preference d-o13-p49 (delivered o13 p49))
              (preference d-o13-p50 (delivered o13 p50))
              (preference d-o14-p2 (delivered o14 p2))
              (preference d-o14-p3 (delivered o14 p3))
              (preference d-o14-p4 (delivered o14 p4))
              (preference d-o14-p9 (delivered o14 p9))
              (preference d-o14-p12 (delivered o14 p12))
              (preference d-o14-p14 (delivered o14 p14))
              (preference d-o14-p15 (delivered o14 p15))
              (preference d-o14-p20 (delivered o14 p20))
              (preference d-o14-p21 (delivered o14 p21))
              (preference d-o14-p24 (delivered o14 p24))
              (preference d-o14-p31 (delivered o14 p31))
              (preference d-o14-p33 (delivered o14 p33))
              (preference d-o14-p36 (delivered o14 p36))
              (preference d-o14-p40 (delivered o14 p40))
              (preference d-o14-p41 (delivered o14 p41))
              (preference d-o14-p45 (delivered o14 p45))
              (preference d-o14-p46 (delivered o14 p46))
              (preference d-o14-p49 (delivered o14 p49))
              (preference d-o14-p50 (delivered o14 p50))
              (preference d-o15-p1 (delivered o15 p1))
              (preference d-o15-p8 (delivered o15 p8))
              (preference d-o15-p10 (delivered o15 p10))
              (preference d-o15-p11 (delivered o15 p11))
              (preference d-o15-p32 (delivered o15 p32))
              (preference d-o15-p37 (delivered o15 p37))
              (preference d-o15-p39 (delivered o15 p39))
              (preference d-o15-p43 (delivered o15 p43))
              (preference d-o15-p44 (delivered o15 p44))
              (preference d-o15-p47 (delivered o15 p47))
              (preference d-o15-p48 (delivered o15 p48))
              (preference d-o16-p2 (delivered o16 p2))
              (preference d-o16-p3 (delivered o16 p3))
              (preference d-o16-p4 (delivered o16 p4))
              (preference d-o16-p6 (delivered o16 p6))
              (preference d-o16-p9 (delivered o16 p9))
              (preference d-o16-p12 (delivered o16 p12))
              (preference d-o16-p13 (delivered o16 p13))
              (preference d-o16-p14 (delivered o16 p14))
              (preference d-o16-p15 (delivered o16 p15))
              (preference d-o16-p17 (delivered o16 p17))
              (preference d-o16-p18 (delivered o16 p18))
              (preference d-o16-p20 (delivered o16 p20))
              (preference d-o16-p21 (delivered o16 p21))
              (preference d-o16-p22 (delivered o16 p22))
              (preference d-o16-p24 (delivered o16 p24))
              (preference d-o16-p25 (delivered o16 p25))
              (preference d-o16-p26 (delivered o16 p26))
              (preference d-o16-p27 (delivered o16 p27))
              (preference d-o16-p31 (delivered o16 p31))
              (preference d-o16-p33 (delivered o16 p33))
              (preference d-o16-p36 (delivered o16 p36))
              (preference d-o16-p38 (delivered o16 p38))
              (preference d-o16-p40 (delivered o16 p40))
              (preference d-o16-p41 (delivered o16 p41))
              (preference d-o16-p42 (delivered o16 p42))
              (preference d-o16-p45 (delivered o16 p45))
              (preference d-o16-p46 (delivered o16 p46))
              (preference d-o16-p49 (delivered o16 p49))
              (preference d-o16-p50 (delivered o16 p50))
              (preference d-o17-p2 (delivered o17 p2))
              (preference d-o17-p3 (delivered o17 p3))
              (preference d-o17-p5 (delivered o17 p5))
              (preference d-o17-p6 (delivered o17 p6))
              (preference d-o17-p9 (delivered o17 p9))
              (preference d-o17-p12 (delivered o17 p12))
              (preference d-o17-p14 (delivered o17 p14))
              (preference d-o17-p15 (delivered o17 p15))
              (preference d-o17-p17 (delivered o17 p17))
              (preference d-o17-p20 (delivered o17 p20))
              (preference d-o17-p21 (delivered o17 p21))
              (preference d-o17-p23 (delivered o17 p23))
              (preference d-o17-p24 (delivered o17 p24))
              (preference d-o17-p25 (delivered o17 p25))
              (preference d-o17-p28 (delivered o17 p28))
              (preference d-o17-p31 (delivered o17 p31))
              (preference d-o17-p33 (delivered o17 p33))
              (preference d-o17-p36 (delivered o17 p36))
              (preference d-o17-p40 (delivered o17 p40))
              (preference d-o17-p41 (delivered o17 p41))
              (preference d-o17-p42 (delivered o17 p42))
              (preference d-o17-p45 (delivered o17 p45))
              (preference d-o17-p46 (delivered o17 p46))
              (preference d-o17-p49 (delivered o17 p49))
              (preference d-o17-p50 (delivered o17 p50))
              (preference d-o18-p1 (delivered o18 p1))
              (preference d-o18-p3 (delivered o18 p3))
              (preference d-o18-p4 (delivered o18 p4))
              (preference d-o18-p5 (delivered o18 p5))
              (preference d-o18-p6 (delivered o18 p6))
              (preference d-o18-p7 (delivered o18 p7))
              (preference d-o18-p9 (delivered o18 p9))
              (preference d-o18-p10 (delivered o18 p10))
              (preference d-o18-p12 (delivered o18 p12))
              (preference d-o18-p14 (delivered o18 p14))
              (preference d-o18-p15 (delivered o18 p15))
              (preference d-o18-p17 (delivered o18 p17))
              (preference d-o18-p18 (delivered o18 p18))
              (preference d-o18-p19 (delivered o18 p19))
              (preference d-o18-p20 (delivered o18 p20))
              (preference d-o18-p21 (delivered o18 p21))
              (preference d-o18-p22 (delivered o18 p22))
              (preference d-o18-p23 (delivered o18 p23))
              (preference d-o18-p25 (delivered o18 p25))
              (preference d-o18-p26 (delivered o18 p26))
              (preference d-o18-p27 (delivered o18 p27))
              (preference d-o18-p28 (delivered o18 p28))
              (preference d-o18-p29 (delivered o18 p29))
              (preference d-o18-p30 (delivered o18 p30))
              (preference d-o18-p31 (delivered o18 p31))
              (preference d-o18-p32 (delivered o18 p32))
              (preference d-o18-p33 (delivered o18 p33))
              (preference d-o18-p34 (delivered o18 p34))
              (preference d-o18-p36 (delivered o18 p36))
              (preference d-o18-p38 (delivered o18 p38))
              (preference d-o18-p41 (delivered o18 p41))
              (preference d-o18-p42 (delivered o18 p42))
              (preference d-o18-p45 (delivered o18 p45))
              (preference d-o18-p46 (delivered o18 p46))
              (preference d-o18-p47 (delivered o18 p47))
              (preference d-o18-p49 (delivered o18 p49))
              (preference d-o18-p50 (delivered o18 p50))
              (preference d-o19-p3 (delivered o19 p3))
              (preference d-o19-p4 (delivered o19 p4))
              (preference d-o19-p5 (delivered o19 p5))
              (preference d-o19-p6 (delivered o19 p6))
              (preference d-o19-p9 (delivered o19 p9))
              (preference d-o19-p12 (delivered o19 p12))
              (preference d-o19-p14 (delivered o19 p14))
              (preference d-o19-p15 (delivered o19 p15))
              (preference d-o19-p17 (delivered o19 p17))
              (preference d-o19-p18 (delivered o19 p18))
              (preference d-o19-p20 (delivered o19 p20))
              (preference d-o19-p21 (delivered o19 p21))
              (preference d-o19-p22 (delivered o19 p22))
              (preference d-o19-p23 (delivered o19 p23))
              (preference d-o19-p24 (delivered o19 p24))
              (preference d-o19-p25 (delivered o19 p25))
              (preference d-o19-p26 (delivered o19 p26))
              (preference d-o19-p28 (delivered o19 p28))
              (preference d-o19-p29 (delivered o19 p29))
              (preference d-o19-p31 (delivered o19 p31))
              (preference d-o19-p33 (delivered o19 p33))
              (preference d-o19-p36 (delivered o19 p36))
              (preference d-o19-p40 (delivered o19 p40))
              (preference d-o19-p41 (delivered o19 p41))
              (preference d-o19-p42 (delivered o19 p42))
              (preference d-o19-p45 (delivered o19 p45))
              (preference d-o19-p46 (delivered o19 p46))
              (preference d-o19-p49 (delivered o19 p49))
              (preference d-o19-p50 (delivered o19 p50))
              (preference d-o20-p1 (delivered o20 p1))
              (preference d-o20-p4 (delivered o20 p4))
              (preference d-o20-p5 (delivered o20 p5))
              (preference d-o20-p6 (delivered o20 p6))
              (preference d-o20-p7 (delivered o20 p7))
              (preference d-o20-p8 (delivered o20 p8))
              (preference d-o20-p9 (delivered o20 p9))
              (preference d-o20-p11 (delivered o20 p11))
              (preference d-o20-p12 (delivered o20 p12))
              (preference d-o20-p13 (delivered o20 p13))
              (preference d-o20-p15 (delivered o20 p15))
              (preference d-o20-p16 (delivered o20 p16))
              (preference d-o20-p17 (delivered o20 p17))
              (preference d-o20-p19 (delivered o20 p19))
              (preference d-o20-p20 (delivered o20 p20))
              (preference d-o20-p21 (delivered o20 p21))
              (preference d-o20-p22 (delivered o20 p22))
              (preference d-o20-p23 (delivered o20 p23))
              (preference d-o20-p27 (delivered o20 p27))
              (preference d-o20-p28 (delivered o20 p28))
              (preference d-o20-p30 (delivered o20 p30))
              (preference d-o20-p31 (delivered o20 p31))
              (preference d-o20-p32 (delivered o20 p32))
              (preference d-o20-p33 (delivered o20 p33))
              (preference d-o20-p34 (delivered o20 p34))
              (preference d-o20-p35 (delivered o20 p35))
              (preference d-o20-p36 (delivered o20 p36))
              (preference d-o20-p37 (delivered o20 p37))
              (preference d-o20-p39 (delivered o20 p39))
              (preference d-o20-p41 (delivered o20 p41))
              (preference d-o20-p43 (delivered o20 p43))
              (preference d-o20-p44 (delivered o20 p44))
              (preference d-o20-p45 (delivered o20 p45))
              (preference d-o20-p46 (delivered o20 p46))
              (preference d-o20-p47 (delivered o20 p47))
              (preference d-o20-p48 (delivered o20 p48))
              (preference d-o20-p50 (delivered o20 p50))
              (preference d-o21-p1 (delivered o21 p1))
              (preference d-o21-p5 (delivered o21 p5))
              (preference d-o21-p6 (delivered o21 p6))
              (preference d-o21-p7 (delivered o21 p7))
              (preference d-o21-p8 (delivered o21 p8))
              (preference d-o21-p10 (delivered o21 p10))
              (preference d-o21-p11 (delivered o21 p11))
              (preference d-o21-p13 (delivered o21 p13))
              (preference d-o21-p16 (delivered o21 p16))
              (preference d-o21-p18 (delivered o21 p18))
              (preference d-o21-p19 (delivered o21 p19))
              (preference d-o21-p23 (delivered o21 p23))
              (preference d-o21-p26 (delivered o21 p26))
              (preference d-o21-p27 (delivered o21 p27))
              (preference d-o21-p29 (delivered o21 p29))
              (preference d-o21-p30 (delivered o21 p30))
              (preference d-o21-p32 (delivered o21 p32))
              (preference d-o21-p34 (delivered o21 p34))
              (preference d-o21-p35 (delivered o21 p35))
              (preference d-o21-p37 (delivered o21 p37))
              (preference d-o21-p38 (delivered o21 p38))
              (preference d-o21-p39 (delivered o21 p39))
              (preference d-o21-p43 (delivered o21 p43))
              (preference d-o21-p44 (delivered o21 p44))
              (preference d-o21-p47 (delivered o21 p47))
              (preference d-o21-p48 (delivered o21 p48))
              (preference d-o22-p1 (delivered o22 p1))
              (preference d-o22-p2 (delivered o22 p2))
              (preference d-o22-p3 (delivered o22 p3))
              (preference d-o22-p5 (delivered o22 p5))
              (preference d-o22-p6 (delivered o22 p6))
              (preference d-o22-p7 (delivered o22 p7))
              (preference d-o22-p8 (delivered o22 p8))
              (preference d-o22-p9 (delivered o22 p9))
              (preference d-o22-p10 (delivered o22 p10))
              (preference d-o22-p11 (delivered o22 p11))
              (preference d-o22-p12 (delivered o22 p12))
              (preference d-o22-p13 (delivered o22 p13))
              (preference d-o22-p14 (delivered o22 p14))
              (preference d-o22-p15 (delivered o22 p15))
              (preference d-o22-p16 (delivered o22 p16))
              (preference d-o22-p17 (delivered o22 p17))
              (preference d-o22-p18 (delivered o22 p18))
              (preference d-o22-p20 (delivered o22 p20))
              (preference d-o22-p21 (delivered o22 p21))
              (preference d-o22-p22 (delivered o22 p22))
              (preference d-o22-p24 (delivered o22 p24))
              (preference d-o22-p25 (delivered o22 p25))
              (preference d-o22-p26 (delivered o22 p26))
              (preference d-o22-p28 (delivered o22 p28))
              (preference d-o22-p29 (delivered o22 p29))
              (preference d-o22-p30 (delivered o22 p30))
              (preference d-o22-p31 (delivered o22 p31))
              (preference d-o22-p32 (delivered o22 p32))
              (preference d-o22-p33 (delivered o22 p33))
              (preference d-o22-p34 (delivered o22 p34))
              (preference d-o22-p35 (delivered o22 p35))
              (preference d-o22-p36 (delivered o22 p36))
              (preference d-o22-p37 (delivered o22 p37))
              (preference d-o22-p38 (delivered o22 p38))
              (preference d-o22-p39 (delivered o22 p39))
              (preference d-o22-p40 (delivered o22 p40))
              (preference d-o22-p42 (delivered o22 p42))
              (preference d-o22-p45 (delivered o22 p45))
              (preference d-o22-p46 (delivered o22 p46))
              (preference d-o22-p47 (delivered o22 p47))
              (preference d-o22-p48 (delivered o22 p48))
              (preference d-o22-p49 (delivered o22 p49))
              (preference d-o23-p48 (delivered o23 p48))
              (preference d-o24-p1 (delivered o24 p1))
              (preference d-o24-p2 (delivered o24 p2))
              (preference d-o24-p3 (delivered o24 p3))
              (preference d-o24-p4 (delivered o24 p4))
              (preference d-o24-p5 (delivered o24 p5))
              (preference d-o24-p6 (delivered o24 p6))
              (preference d-o24-p7 (delivered o24 p7))
              (preference d-o24-p8 (delivered o24 p8))
              (preference d-o24-p9 (delivered o24 p9))
              (preference d-o24-p10 (delivered o24 p10))
              (preference d-o24-p12 (delivered o24 p12))
              (preference d-o24-p13 (delivered o24 p13))
              (preference d-o24-p14 (delivered o24 p14))
              (preference d-o24-p15 (delivered o24 p15))
              (preference d-o24-p16 (delivered o24 p16))
              (preference d-o24-p17 (delivered o24 p17))
              (preference d-o24-p18 (delivered o24 p18))
              (preference d-o24-p20 (delivered o24 p20))
              (preference d-o24-p21 (delivered o24 p21))
              (preference d-o24-p22 (delivered o24 p22))
              (preference d-o24-p23 (delivered o24 p23))
              (preference d-o24-p24 (delivered o24 p24))
              (preference d-o24-p25 (delivered o24 p25))
              (preference d-o24-p26 (delivered o24 p26))
              (preference d-o24-p27 (delivered o24 p27))
              (preference d-o24-p28 (delivered o24 p28))
              (preference d-o24-p30 (delivered o24 p30))
              (preference d-o24-p32 (delivered o24 p32))
              (preference d-o24-p33 (delivered o24 p33))
              (preference d-o24-p34 (delivered o24 p34))
              (preference d-o24-p35 (delivered o24 p35))
              (preference d-o24-p36 (delivered o24 p36))
              (preference d-o24-p37 (delivered o24 p37))
              (preference d-o24-p38 (delivered o24 p38))
              (preference d-o24-p40 (delivered o24 p40))
              (preference d-o24-p41 (delivered o24 p41))
              (preference d-o24-p42 (delivered o24 p42))
              (preference d-o24-p43 (delivered o24 p43))
              (preference d-o24-p44 (delivered o24 p44))
              (preference d-o24-p45 (delivered o24 p45))
              (preference d-o24-p46 (delivered o24 p46))
              (preference d-o24-p48 (delivered o24 p48))
              (preference d-o24-p49 (delivered o24 p49))
              (preference d-o24-p50 (delivered o24 p50))
              (preference d-o25-p39 (delivered o25 p39))
              (preference d-o25-p44 (delivered o25 p44))
              (preference d-o26-p2 (delivered o26 p2))
              (preference d-o26-p3 (delivered o26 p3))
              (preference d-o26-p4 (delivered o26 p4))
              (preference d-o26-p5 (delivered o26 p5))
              (preference d-o26-p6 (delivered o26 p6))
              (preference d-o26-p12 (delivered o26 p12))
              (preference d-o26-p13 (delivered o26 p13))
              (preference d-o26-p14 (delivered o26 p14))
              (preference d-o26-p15 (delivered o26 p15))
              (preference d-o26-p17 (delivered o26 p17))
              (preference d-o26-p18 (delivered o26 p18))
              (preference d-o26-p20 (delivered o26 p20))
              (preference d-o26-p21 (delivered o26 p21))
              (preference d-o26-p22 (delivered o26 p22))
              (preference d-o26-p23 (delivered o26 p23))
              (preference d-o26-p24 (delivered o26 p24))
              (preference d-o26-p25 (delivered o26 p25))
              (preference d-o26-p26 (delivered o26 p26))
              (preference d-o26-p28 (delivered o26 p28))
              (preference d-o26-p29 (delivered o26 p29))
              (preference d-o26-p31 (delivered o26 p31))
              (preference d-o26-p33 (delivered o26 p33))
              (preference d-o26-p36 (delivered o26 p36))
              (preference d-o26-p38 (delivered o26 p38))
              (preference d-o26-p42 (delivered o26 p42))
              (preference d-o26-p45 (delivered o26 p45))
              (preference d-o26-p46 (delivered o26 p46))
              (preference d-o26-p49 (delivered o26 p49))
              (preference d-o26-p50 (delivered o26 p50))
              (preference d-o27-p1 (delivered o27 p1))
              (preference d-o27-p2 (delivered o27 p2))
              (preference d-o27-p3 (delivered o27 p3))
              (preference d-o27-p4 (delivered o27 p4))
              (preference d-o27-p5 (delivered o27 p5))
              (preference d-o27-p6 (delivered o27 p6))
              (preference d-o27-p7 (delivered o27 p7))
              (preference d-o27-p8 (delivered o27 p8))
              (preference d-o27-p9 (delivered o27 p9))
              (preference d-o27-p10 (delivered o27 p10))
              (preference d-o27-p11 (delivered o27 p11))
              (preference d-o27-p12 (delivered o27 p12))
              (preference d-o27-p13 (delivered o27 p13))
              (preference d-o27-p14 (delivered o27 p14))
              (preference d-o27-p15 (delivered o27 p15))
              (preference d-o27-p16 (delivered o27 p16))
              (preference d-o27-p18 (delivered o27 p18))
              (preference d-o27-p19 (delivered o27 p19))
              (preference d-o27-p20 (delivered o27 p20))
              (preference d-o27-p21 (delivered o27 p21))
              (preference d-o27-p22 (delivered o27 p22))
              (preference d-o27-p23 (delivered o27 p23))
              (preference d-o27-p24 (delivered o27 p24))
              (preference d-o27-p25 (delivered o27 p25))
              (preference d-o27-p26 (delivered o27 p26))
              (preference d-o27-p27 (delivered o27 p27))
              (preference d-o27-p28 (delivered o27 p28))
              (preference d-o27-p29 (delivered o27 p29))
              (preference d-o27-p31 (delivered o27 p31))
              (preference d-o27-p32 (delivered o27 p32))
              (preference d-o27-p33 (delivered o27 p33))
              (preference d-o27-p34 (delivered o27 p34))
              (preference d-o27-p35 (delivered o27 p35))
              (preference d-o27-p36 (delivered o27 p36))
              (preference d-o27-p37 (delivered o27 p37))
              (preference d-o27-p38 (delivered o27 p38))
              (preference d-o27-p39 (delivered o27 p39))
              (preference d-o27-p40 (delivered o27 p40))
              (preference d-o27-p41 (delivered o27 p41))
              (preference d-o27-p42 (delivered o27 p42))
              (preference d-o27-p43 (delivered o27 p43))
              (preference d-o27-p44 (delivered o27 p44))
              (preference d-o27-p45 (delivered o27 p45))
              (preference d-o27-p46 (delivered o27 p46))
              (preference d-o27-p47 (delivered o27 p47))
              (preference d-o27-p48 (delivered o27 p48))
              (preference d-o27-p49 (delivered o27 p49))
              (preference d-o27-p50 (delivered o27 p50))
              (preference d-o28-p1 (delivered o28 p1))
              (preference d-o28-p2 (delivered o28 p2))
              (preference d-o28-p3 (delivered o28 p3))
              (preference d-o28-p4 (delivered o28 p4))
              (preference d-o28-p5 (delivered o28 p5))
              (preference d-o28-p6 (delivered o28 p6))
              (preference d-o28-p7 (delivered o28 p7))
              (preference d-o28-p8 (delivered o28 p8))
              (preference d-o28-p10 (delivered o28 p10))
              (preference d-o28-p11 (delivered o28 p11))
              (preference d-o28-p12 (delivered o28 p12))
              (preference d-o28-p13 (delivered o28 p13))
              (preference d-o28-p14 (delivered o28 p14))
              (preference d-o28-p15 (delivered o28 p15))
              (preference d-o28-p16 (delivered o28 p16))
              (preference d-o28-p17 (delivered o28 p17))
              (preference d-o28-p18 (delivered o28 p18))
              (preference d-o28-p19 (delivered o28 p19))
              (preference d-o28-p20 (delivered o28 p20))
              (preference d-o28-p21 (delivered o28 p21))
              (preference d-o28-p22 (delivered o28 p22))
              (preference d-o28-p23 (delivered o28 p23))
              (preference d-o28-p24 (delivered o28 p24))
              (preference d-o28-p25 (delivered o28 p25))
              (preference d-o28-p26 (delivered o28 p26))
              (preference d-o28-p27 (delivered o28 p27))
              (preference d-o28-p28 (delivered o28 p28))
              (preference d-o28-p29 (delivered o28 p29))
              (preference d-o28-p30 (delivered o28 p30))
              (preference d-o28-p31 (delivered o28 p31))
              (preference d-o28-p32 (delivered o28 p32))
              (preference d-o28-p33 (delivered o28 p33))
              (preference d-o28-p34 (delivered o28 p34))
              (preference d-o28-p35 (delivered o28 p35))
              (preference d-o28-p36 (delivered o28 p36))
              (preference d-o28-p38 (delivered o28 p38))
              (preference d-o28-p39 (delivered o28 p39))
              (preference d-o28-p40 (delivered o28 p40))
              (preference d-o28-p41 (delivered o28 p41))
              (preference d-o28-p42 (delivered o28 p42))
              (preference d-o28-p43 (delivered o28 p43))
              (preference d-o28-p44 (delivered o28 p44))
              (preference d-o28-p45 (delivered o28 p45))
              (preference d-o28-p46 (delivered o28 p46))
              (preference d-o28-p47 (delivered o28 p47))
              (preference d-o29-p1 (delivered o29 p1))
              (preference d-o29-p2 (delivered o29 p2))
              (preference d-o29-p3 (delivered o29 p3))
              (preference d-o29-p4 (delivered o29 p4))
              (preference d-o29-p5 (delivered o29 p5))
              (preference d-o29-p6 (delivered o29 p6))
              (preference d-o29-p7 (delivered o29 p7))
              (preference d-o29-p8 (delivered o29 p8))
              (preference d-o29-p9 (delivered o29 p9))
              (preference d-o29-p10 (delivered o29 p10))
              (preference d-o29-p12 (delivered o29 p12))
              (preference d-o29-p13 (delivered o29 p13))
              (preference d-o29-p14 (delivered o29 p14))
              (preference d-o29-p15 (delivered o29 p15))
              (preference d-o29-p16 (delivered o29 p16))
              (preference d-o29-p17 (delivered o29 p17))
              (preference d-o29-p18 (delivered o29 p18))
              (preference d-o29-p19 (delivered o29 p19))
              (preference d-o29-p20 (delivered o29 p20))
              (preference d-o29-p21 (delivered o29 p21))
              (preference d-o29-p22 (delivered o29 p22))
              (preference d-o29-p23 (delivered o29 p23))
              (preference d-o29-p25 (delivered o29 p25))
              (preference d-o29-p26 (delivered o29 p26))
              (preference d-o29-p27 (delivered o29 p27))
              (preference d-o29-p28 (delivered o29 p28))
              (preference d-o29-p29 (delivered o29 p29))
              (preference d-o29-p30 (delivered o29 p30))
              (preference d-o29-p32 (delivered o29 p32))
              (preference d-o29-p33 (delivered o29 p33))
              (preference d-o29-p34 (delivered o29 p34))
              (preference d-o29-p36 (delivered o29 p36))
              (preference d-o29-p37 (delivered o29 p37))
              (preference d-o29-p38 (delivered o29 p38))
              (preference d-o29-p39 (delivered o29 p39))
              (preference d-o29-p41 (delivered o29 p41))
              (preference d-o29-p42 (delivered o29 p42))
              (preference d-o29-p43 (delivered o29 p43))
              (preference d-o29-p44 (delivered o29 p44))
              (preference d-o29-p45 (delivered o29 p45))
              (preference d-o29-p46 (delivered o29 p46))
              (preference d-o29-p47 (delivered o29 p47))
              (preference d-o29-p48 (delivered o29 p48))
              (preference d-o29-p49 (delivered o29 p49))
              (preference d-o29-p50 (delivered o29 p50))
              (preference d-o30-p7 (delivered o30 p7))
              (preference d-o30-p10 (delivered o30 p10))
              (preference d-o30-p11 (delivered o30 p11))
              (preference d-o30-p13 (delivered o30 p13))
              (preference d-o30-p16 (delivered o30 p16))
              (preference d-o30-p18 (delivered o30 p18))
              (preference d-o30-p19 (delivered o30 p19))
              (preference d-o30-p22 (delivered o30 p22))
              (preference d-o30-p27 (delivered o30 p27))
              (preference d-o30-p30 (delivered o30 p30))
              (preference d-o30-p34 (delivered o30 p34))
              (preference d-o30-p35 (delivered o30 p35))
              (preference d-o30-p37 (delivered o30 p37))
              (preference d-o30-p38 (delivered o30 p38))
              (preference d-o30-p39 (delivered o30 p39))
              (preference d-o30-p43 (delivered o30 p43))
              (preference d-o30-p44 (delivered o30 p44))
              (preference d-o30-p47 (delivered o30 p47))
              (preference d-o30-p48 (delivered o30 p48))
              (preference d-o31-p1 (delivered o31 p1))
              (preference d-o31-p2 (delivered o31 p2))
              (preference d-o31-p3 (delivered o31 p3))
              (preference d-o31-p4 (delivered o31 p4))
              (preference d-o31-p5 (delivered o31 p5))
              (preference d-o31-p6 (delivered o31 p6))
              (preference d-o31-p7 (delivered o31 p7))
              (preference d-o31-p8 (delivered o31 p8))
              (preference d-o31-p9 (delivered o31 p9))
              (preference d-o31-p10 (delivered o31 p10))
              (preference d-o31-p11 (delivered o31 p11))
              (preference d-o31-p12 (delivered o31 p12))
              (preference d-o31-p13 (delivered o31 p13))
              (preference d-o31-p14 (delivered o31 p14))
              (preference d-o31-p15 (delivered o31 p15))
              (preference d-o31-p16 (delivered o31 p16))
              (preference d-o31-p17 (delivered o31 p17))
              (preference d-o31-p18 (delivered o31 p18))
              (preference d-o31-p19 (delivered o31 p19))
              (preference d-o31-p20 (delivered o31 p20))
              (preference d-o31-p21 (delivered o31 p21))
              (preference d-o31-p22 (delivered o31 p22))
              (preference d-o31-p23 (delivered o31 p23))
              (preference d-o31-p24 (delivered o31 p24))
              (preference d-o31-p26 (delivered o31 p26))
              (preference d-o31-p27 (delivered o31 p27))
              (preference d-o31-p28 (delivered o31 p28))
              (preference d-o31-p29 (delivered o31 p29))
              (preference d-o31-p30 (delivered o31 p30))
              (preference d-o31-p31 (delivered o31 p31))
              (preference d-o31-p32 (delivered o31 p32))
              (preference d-o31-p33 (delivered o31 p33))
              (preference d-o31-p34 (delivered o31 p34))
              (preference d-o31-p35 (delivered o31 p35))
              (preference d-o31-p36 (delivered o31 p36))
              (preference d-o31-p37 (delivered o31 p37))
              (preference d-o31-p38 (delivered o31 p38))
              (preference d-o31-p39 (delivered o31 p39))
              (preference d-o31-p41 (delivered o31 p41))
              (preference d-o31-p42 (delivered o31 p42))
              (preference d-o31-p43 (delivered o31 p43))
              (preference d-o31-p44 (delivered o31 p44))
              (preference d-o31-p45 (delivered o31 p45))
              (preference d-o31-p46 (delivered o31 p46))
              (preference d-o31-p47 (delivered o31 p47))
              (preference d-o31-p49 (delivered o31 p49))
              (preference d-o31-p50 (delivered o31 p50))
              (preference d-o32-p43 (delivered o32 p43))
              (preference d-o33-p1 (delivered o33 p1))
              (preference d-o33-p2 (delivered o33 p2))
              (preference d-o33-p3 (delivered o33 p3))
              (preference d-o33-p4 (delivered o33 p4))
              (preference d-o33-p5 (delivered o33 p5))
              (preference d-o33-p6 (delivered o33 p6))
              (preference d-o33-p7 (delivered o33 p7))
              (preference d-o33-p8 (delivered o33 p8))
              (preference d-o33-p9 (delivered o33 p9))
              (preference d-o33-p10 (delivered o33 p10))
              (preference d-o33-p11 (delivered o33 p11))
              (preference d-o33-p12 (delivered o33 p12))
              (preference d-o33-p13 (delivered o33 p13))
              (preference d-o33-p14 (delivered o33 p14))
              (preference d-o33-p15 (delivered o33 p15))
              (preference d-o33-p16 (delivered o33 p16))
              (preference d-o33-p17 (delivered o33 p17))
              (preference d-o33-p18 (delivered o33 p18))
              (preference d-o33-p20 (delivered o33 p20))
              (preference d-o33-p21 (delivered o33 p21))
              (preference d-o33-p22 (delivered o33 p22))
              (preference d-o33-p23 (delivered o33 p23))
              (preference d-o33-p24 (delivered o33 p24))
              (preference d-o33-p25 (delivered o33 p25))
              (preference d-o33-p26 (delivered o33 p26))
              (preference d-o33-p27 (delivered o33 p27))
              (preference d-o33-p28 (delivered o33 p28))
              (preference d-o33-p29 (delivered o33 p29))
              (preference d-o33-p30 (delivered o33 p30))
              (preference d-o33-p31 (delivered o33 p31))
              (preference d-o33-p32 (delivered o33 p32))
              (preference d-o33-p33 (delivered o33 p33))
              (preference d-o33-p34 (delivered o33 p34))
              (preference d-o33-p35 (delivered o33 p35))
              (preference d-o33-p36 (delivered o33 p36))
              (preference d-o33-p37 (delivered o33 p37))
              (preference d-o33-p38 (delivered o33 p38))
              (preference d-o33-p39 (delivered o33 p39))
              (preference d-o33-p40 (delivered o33 p40))
              (preference d-o33-p41 (delivered o33 p41))
              (preference d-o33-p42 (delivered o33 p42))
              (preference d-o33-p43 (delivered o33 p43))
              (preference d-o33-p44 (delivered o33 p44))
              (preference d-o33-p46 (delivered o33 p46))
              (preference d-o33-p47 (delivered o33 p47))
              (preference d-o33-p48 (delivered o33 p48))
              (preference d-o33-p49 (delivered o33 p49))
              (preference d-o33-p50 (delivered o33 p50))
              (preference d-o34-p11 (delivered o34 p11))
              (preference d-o34-p37 (delivered o34 p37))
              (preference d-o35-p1 (delivered o35 p1))
              (preference d-o35-p7 (delivered o35 p7))
              (preference d-o35-p8 (delivered o35 p8))
              (preference d-o35-p10 (delivered o35 p10))
              (preference d-o35-p11 (delivered o35 p11))
              (preference d-o35-p16 (delivered o35 p16))
              (preference d-o35-p19 (delivered o35 p19))
              (preference d-o35-p27 (delivered o35 p27))
              (preference d-o35-p30 (delivered o35 p30))
              (preference d-o35-p34 (delivered o35 p34))
              (preference d-o35-p35 (delivered o35 p35))
              (preference d-o35-p37 (delivered o35 p37))
              (preference d-o35-p39 (delivered o35 p39))
              (preference d-o35-p44 (delivered o35 p44))
              (preference d-o35-p47 (delivered o35 p47))
              (preference d-o35-p48 (delivered o35 p48))
              (preference d-o36-p1 (delivered o36 p1))
              (preference d-o36-p7 (delivered o36 p7))
              (preference d-o36-p8 (delivered o36 p8))
              (preference d-o36-p10 (delivered o36 p10))
              (preference d-o36-p11 (delivered o36 p11))
              (preference d-o36-p16 (delivered o36 p16))
              (preference d-o36-p19 (delivered o36 p19))
              (preference d-o36-p30 (delivered o36 p30))
              (preference d-o36-p32 (delivered o36 p32))
              (preference d-o36-p34 (delivered o36 p34))
              (preference d-o36-p35 (delivered o36 p35))
              (preference d-o36-p37 (delivered o36 p37))
              (preference d-o36-p39 (delivered o36 p39))
              (preference d-o36-p43 (delivered o36 p43))
              (preference d-o36-p44 (delivered o36 p44))
              (preference d-o36-p47 (delivered o36 p47))
              (preference d-o36-p48 (delivered o36 p48))
              (preference d-o37-p1 (delivered o37 p1))
              (preference d-o37-p7 (delivered o37 p7))
              (preference d-o37-p10 (delivered o37 p10))
              (preference d-o37-p11 (delivered o37 p11))
              (preference d-o37-p16 (delivered o37 p16))
              (preference d-o37-p18 (delivered o37 p18))
              (preference d-o37-p22 (delivered o37 p22))
              (preference d-o37-p26 (delivered o37 p26))
              (preference d-o37-p27 (delivered o37 p27))
              (preference d-o37-p29 (delivered o37 p29))
              (preference d-o37-p30 (delivered o37 p30))
              (preference d-o37-p32 (delivered o37 p32))
              (preference d-o37-p34 (delivered o37 p34))
              (preference d-o37-p35 (delivered o37 p35))
              (preference d-o37-p37 (delivered o37 p37))
              (preference d-o37-p38 (delivered o37 p38))
              (preference d-o37-p39 (delivered o37 p39))
              (preference d-o37-p43 (delivered o37 p43))
              (preference d-o37-p47 (delivered o37 p47))
              (preference d-o37-p48 (delivered o37 p48))
              (preference d-o38-p2 (delivered o38 p2))
              (preference d-o38-p4 (delivered o38 p4))
              (preference d-o38-p5 (delivered o38 p5))
              (preference d-o38-p6 (delivered o38 p6))
              (preference d-o38-p9 (delivered o38 p9))
              (preference d-o38-p12 (delivered o38 p12))
              (preference d-o38-p13 (delivered o38 p13))
              (preference d-o38-p14 (delivered o38 p14))
              (preference d-o38-p15 (delivered o38 p15))
              (preference d-o38-p17 (delivered o38 p17))
              (preference d-o38-p18 (delivered o38 p18))
              (preference d-o38-p19 (delivered o38 p19))
              (preference d-o38-p20 (delivered o38 p20))
              (preference d-o38-p21 (delivered o38 p21))
              (preference d-o38-p22 (delivered o38 p22))
              (preference d-o38-p23 (delivered o38 p23))
              (preference d-o38-p24 (delivered o38 p24))
              (preference d-o38-p25 (delivered o38 p25))
              (preference d-o38-p26 (delivered o38 p26))
              (preference d-o38-p27 (delivered o38 p27))
              (preference d-o38-p28 (delivered o38 p28))
              (preference d-o38-p29 (delivered o38 p29))
              (preference d-o38-p30 (delivered o38 p30))
              (preference d-o38-p31 (delivered o38 p31))
              (preference d-o38-p33 (delivered o38 p33))
              (preference d-o38-p34 (delivered o38 p34))
              (preference d-o38-p35 (delivered o38 p35))
              (preference d-o38-p36 (delivered o38 p36))
              (preference d-o38-p38 (delivered o38 p38))
              (preference d-o38-p40 (delivered o38 p40))
              (preference d-o38-p41 (delivered o38 p41))
              (preference d-o38-p42 (delivered o38 p42))
              (preference d-o38-p45 (delivered o38 p45))
              (preference d-o38-p46 (delivered o38 p46))
              (preference d-o38-p50 (delivered o38 p50))
              (preference d-o39-p11 (delivered o39 p11))
              (preference d-o39-p37 (delivered o39 p37))
              (preference d-o39-p43 (delivered o39 p43))
              (preference d-o39-p44 (delivered o39 p44))
              (preference d-o39-p48 (delivered o39 p48))
              (preference d-o40-p1 (delivered o40 p1))
              (preference d-o40-p2 (delivered o40 p2))
              (preference d-o40-p3 (delivered o40 p3))
              (preference d-o40-p4 (delivered o40 p4))
              (preference d-o40-p5 (delivered o40 p5))
              (preference d-o40-p6 (delivered o40 p6))
              (preference d-o40-p7 (delivered o40 p7))
              (preference d-o40-p8 (delivered o40 p8))
              (preference d-o40-p10 (delivered o40 p10))
              (preference d-o40-p11 (delivered o40 p11))
              (preference d-o40-p12 (delivered o40 p12))
              (preference d-o40-p13 (delivered o40 p13))
              (preference d-o40-p14 (delivered o40 p14))
              (preference d-o40-p15 (delivered o40 p15))
              (preference d-o40-p16 (delivered o40 p16))
              (preference d-o40-p17 (delivered o40 p17))
              (preference d-o40-p18 (delivered o40 p18))
              (preference d-o40-p19 (delivered o40 p19))
              (preference d-o40-p20 (delivered o40 p20))
              (preference d-o40-p21 (delivered o40 p21))
              (preference d-o40-p22 (delivered o40 p22))
              (preference d-o40-p23 (delivered o40 p23))
              (preference d-o40-p24 (delivered o40 p24))
              (preference d-o40-p26 (delivered o40 p26))
              (preference d-o40-p27 (delivered o40 p27))
              (preference d-o40-p28 (delivered o40 p28))
              (preference d-o40-p29 (delivered o40 p29))
              (preference d-o40-p30 (delivered o40 p30))
              (preference d-o40-p31 (delivered o40 p31))
              (preference d-o40-p32 (delivered o40 p32))
              (preference d-o40-p33 (delivered o40 p33))
              (preference d-o40-p34 (delivered o40 p34))
              (preference d-o40-p35 (delivered o40 p35))
              (preference d-o40-p36 (delivered o40 p36))
              (preference d-o40-p37 (delivered o40 p37))
              (preference d-o40-p38 (delivered o40 p38))
              (preference d-o40-p39 (delivered o40 p39))
              (preference d-o40-p42 (delivered o40 p42))
              (preference d-o40-p43 (delivered o40 p43))
              (preference d-o40-p44 (delivered o40 p44))
              (preference d-o40-p45 (delivered o40 p45))
              (preference d-o40-p46 (delivered o40 p46))
              (preference d-o40-p47 (delivered o40 p47))
              (preference d-o40-p48 (delivered o40 p48))
              (preference d-o40-p49 (delivered o40 p49))
              (preference d-o40-p50 (delivered o40 p50))
              (preference d-o41-p1 (delivered o41 p1))
              (preference d-o41-p7 (delivered o41 p7))
              (preference d-o41-p8 (delivered o41 p8))
              (preference d-o41-p10 (delivered o41 p10))
              (preference d-o41-p11 (delivered o41 p11))
              (preference d-o41-p13 (delivered o41 p13))
              (preference d-o41-p16 (delivered o41 p16))
              (preference d-o41-p19 (delivered o41 p19))
              (preference d-o41-p27 (delivered o41 p27))
              (preference d-o41-p30 (delivered o41 p30))
              (preference d-o41-p32 (delivered o41 p32))
              (preference d-o41-p34 (delivered o41 p34))
              (preference d-o41-p35 (delivered o41 p35))
              (preference d-o41-p37 (delivered o41 p37))
              (preference d-o41-p43 (delivered o41 p43))
              (preference d-o41-p44 (delivered o41 p44))
              (preference d-o41-p47 (delivered o41 p47))
              (preference d-o41-p48 (delivered o41 p48))
              (preference d-o42-p7 (delivered o42 p7))
              (preference d-o42-p8 (delivered o42 p8))
              (preference d-o42-p16 (delivered o42 p16))
              (preference d-o42-p19 (delivered o42 p19))
              (preference d-o42-p32 (delivered o42 p32))
              (preference d-o42-p39 (delivered o42 p39))
              (preference d-o42-p47 (delivered o42 p47))
              (preference d-o43-p1 (delivered o43 p1))
              (preference d-o43-p7 (delivered o43 p7))
              (preference d-o43-p8 (delivered o43 p8))
              (preference d-o43-p10 (delivered o43 p10))
              (preference d-o43-p11 (delivered o43 p11))
              (preference d-o43-p16 (delivered o43 p16))
              (preference d-o43-p19 (delivered o43 p19))
              (preference d-o43-p27 (delivered o43 p27))
              (preference d-o43-p30 (delivered o43 p30))
              (preference d-o43-p32 (delivered o43 p32))
              (preference d-o43-p34 (delivered o43 p34))
              (preference d-o43-p35 (delivered o43 p35))
              (preference d-o43-p39 (delivered o43 p39))
              (preference d-o43-p43 (delivered o43 p43))
              (preference d-o43-p44 (delivered o43 p44))
              (preference d-o43-p47 (delivered o43 p47))
              (preference d-o43-p48 (delivered o43 p48))
              (preference d-o44-p2 (delivered o44 p2))
              (preference d-o44-p3 (delivered o44 p3))
              (preference d-o44-p14 (delivered o44 p14))
              (preference d-o44-p25 (delivered o44 p25))
              (preference d-o44-p40 (delivered o44 p40))
              (preference d-o44-p42 (delivered o44 p42))
              (preference d-o44-p49 (delivered o44 p49))
              (preference d-o45-p4 (delivered o45 p4))
              (preference d-o45-p5 (delivered o45 p5))
              (preference d-o45-p6 (delivered o45 p6))
              (preference d-o45-p7 (delivered o45 p7))
              (preference d-o45-p9 (delivered o45 p9))
              (preference d-o45-p13 (delivered o45 p13))
              (preference d-o45-p14 (delivered o45 p14))
              (preference d-o45-p15 (delivered o45 p15))
              (preference d-o45-p17 (delivered o45 p17))
              (preference d-o45-p18 (delivered o45 p18))
              (preference d-o45-p19 (delivered o45 p19))
              (preference d-o45-p20 (delivered o45 p20))
              (preference d-o45-p21 (delivered o45 p21))
              (preference d-o45-p22 (delivered o45 p22))
              (preference d-o45-p23 (delivered o45 p23))
              (preference d-o45-p25 (delivered o45 p25))
              (preference d-o45-p26 (delivered o45 p26))
              (preference d-o45-p28 (delivered o45 p28))
              (preference d-o45-p29 (delivered o45 p29))
              (preference d-o45-p30 (delivered o45 p30))
              (preference d-o45-p31 (delivered o45 p31))
              (preference d-o45-p33 (delivered o45 p33))
              (preference d-o45-p34 (delivered o45 p34))
              (preference d-o45-p35 (delivered o45 p35))
              (preference d-o45-p36 (delivered o45 p36))
              (preference d-o45-p38 (delivered o45 p38))
              (preference d-o45-p40 (delivered o45 p40))
              (preference d-o45-p41 (delivered o45 p41))
              (preference d-o45-p42 (delivered o45 p42))
              (preference d-o45-p45 (delivered o45 p45))
              (preference d-o45-p46 (delivered o45 p46))
              (preference d-o45-p50 (delivered o45 p50))
              (preference d-o46-p1 (delivered o46 p1))
              (preference d-o46-p2 (delivered o46 p2))
              (preference d-o46-p3 (delivered o46 p3))
              (preference d-o46-p4 (delivered o46 p4))
              (preference d-o46-p5 (delivered o46 p5))
              (preference d-o46-p7 (delivered o46 p7))
              (preference d-o46-p8 (delivered o46 p8))
              (preference d-o46-p9 (delivered o46 p9))
              (preference d-o46-p10 (delivered o46 p10))
              (preference d-o46-p11 (delivered o46 p11))
              (preference d-o46-p12 (delivered o46 p12))
              (preference d-o46-p13 (delivered o46 p13))
              (preference d-o46-p14 (delivered o46 p14))
              (preference d-o46-p16 (delivered o46 p16))
              (preference d-o46-p17 (delivered o46 p17))
              (preference d-o46-p19 (delivered o46 p19))
              (preference d-o46-p20 (delivered o46 p20))
              (preference d-o46-p21 (delivered o46 p21))
              (preference d-o46-p22 (delivered o46 p22))
              (preference d-o46-p23 (delivered o46 p23))
              (preference d-o46-p24 (delivered o46 p24))
              (preference d-o46-p25 (delivered o46 p25))
              (preference d-o46-p26 (delivered o46 p26))
              (preference d-o46-p27 (delivered o46 p27))
              (preference d-o46-p29 (delivered o46 p29))
              (preference d-o46-p31 (delivered o46 p31))
              (preference d-o46-p32 (delivered o46 p32))
              (preference d-o46-p33 (delivered o46 p33))
              (preference d-o46-p34 (delivered o46 p34))
              (preference d-o46-p35 (delivered o46 p35))
              (preference d-o46-p36 (delivered o46 p36))
              (preference d-o46-p37 (delivered o46 p37))
              (preference d-o46-p38 (delivered o46 p38))
              (preference d-o46-p40 (delivered o46 p40))
              (preference d-o46-p42 (delivered o46 p42))
              (preference d-o46-p43 (delivered o46 p43))
              (preference d-o46-p44 (delivered o46 p44))
              (preference d-o46-p45 (delivered o46 p45))
              (preference d-o46-p46 (delivered o46 p46))
              (preference d-o46-p47 (delivered o46 p47))
              (preference d-o46-p48 (delivered o46 p48))
              (preference d-o46-p49 (delivered o46 p49))
              (preference d-o46-p50 (delivered o46 p50))
              (preference d-o47-p2 (delivered o47 p2))
              (preference d-o47-p3 (delivered o47 p3))
              (preference d-o47-p4 (delivered o47 p4))
              (preference d-o47-p14 (delivered o47 p14))
              (preference d-o47-p17 (delivered o47 p17))
              (preference d-o47-p24 (delivered o47 p24))
              (preference d-o47-p25 (delivered o47 p25))
              (preference d-o47-p33 (delivered o47 p33))
              (preference d-o47-p40 (delivered o47 p40))
              (preference d-o47-p41 (delivered o47 p41))
              (preference d-o47-p46 (delivered o47 p46))
              (preference d-o47-p49 (delivered o47 p49))
              (preference d-o47-p50 (delivered o47 p50))
              (preference d-o48-p3 (delivered o48 p3))
              (preference d-o48-p4 (delivered o48 p4))
              (preference d-o48-p5 (delivered o48 p5))
              (preference d-o48-p6 (delivered o48 p6))
              (preference d-o48-p9 (delivered o48 p9))
              (preference d-o48-p12 (delivered o48 p12))
              (preference d-o48-p14 (delivered o48 p14))
              (preference d-o48-p15 (delivered o48 p15))
              (preference d-o48-p17 (delivered o48 p17))
              (preference d-o48-p18 (delivered o48 p18))
              (preference d-o48-p20 (delivered o48 p20))
              (preference d-o48-p21 (delivered o48 p21))
              (preference d-o48-p22 (delivered o48 p22))
              (preference d-o48-p23 (delivered o48 p23))
              (preference d-o48-p24 (delivered o48 p24))
              (preference d-o48-p25 (delivered o48 p25))
              (preference d-o48-p26 (delivered o48 p26))
              (preference d-o48-p27 (delivered o48 p27))
              (preference d-o48-p28 (delivered o48 p28))
              (preference d-o48-p29 (delivered o48 p29))
              (preference d-o48-p30 (delivered o48 p30))
              (preference d-o48-p31 (delivered o48 p31))
              (preference d-o48-p33 (delivered o48 p33))
              (preference d-o48-p35 (delivered o48 p35))
              (preference d-o48-p36 (delivered o48 p36))
              (preference d-o48-p38 (delivered o48 p38))
              (preference d-o48-p40 (delivered o48 p40))
              (preference d-o48-p41 (delivered o48 p41))
              (preference d-o48-p42 (delivered o48 p42))
              (preference d-o48-p45 (delivered o48 p45))
              (preference d-o48-p46 (delivered o48 p46))
              (preference d-o48-p49 (delivered o48 p49))
              (preference d-o48-p50 (delivered o48 p50))
              (preference d-o49-p1 (delivered o49 p1))
              (preference d-o49-p2 (delivered o49 p2))
              (preference d-o49-p3 (delivered o49 p3))
              (preference d-o49-p4 (delivered o49 p4))
              (preference d-o49-p5 (delivered o49 p5))
              (preference d-o49-p6 (delivered o49 p6))
              (preference d-o49-p7 (delivered o49 p7))
              (preference d-o49-p9 (delivered o49 p9))
              (preference d-o49-p10 (delivered o49 p10))
              (preference d-o49-p11 (delivered o49 p11))
              (preference d-o49-p12 (delivered o49 p12))
              (preference d-o49-p13 (delivered o49 p13))
              (preference d-o49-p14 (delivered o49 p14))
              (preference d-o49-p16 (delivered o49 p16))
              (preference d-o49-p17 (delivered o49 p17))
              (preference d-o49-p18 (delivered o49 p18))
              (preference d-o49-p19 (delivered o49 p19))
              (preference d-o49-p20 (delivered o49 p20))
              (preference d-o49-p21 (delivered o49 p21))
              (preference d-o49-p22 (delivered o49 p22))
              (preference d-o49-p23 (delivered o49 p23))
              (preference d-o49-p24 (delivered o49 p24))
              (preference d-o49-p25 (delivered o49 p25))
              (preference d-o49-p26 (delivered o49 p26))
              (preference d-o49-p27 (delivered o49 p27))
              (preference d-o49-p28 (delivered o49 p28))
              (preference d-o49-p29 (delivered o49 p29))
              (preference d-o49-p30 (delivered o49 p30))
              (preference d-o49-p31 (delivered o49 p31))
              (preference d-o49-p32 (delivered o49 p32))
              (preference d-o49-p34 (delivered o49 p34))
              (preference d-o49-p35 (delivered o49 p35))
              (preference d-o49-p36 (delivered o49 p36))
              (preference d-o49-p39 (delivered o49 p39))
              (preference d-o49-p40 (delivered o49 p40))
              (preference d-o49-p41 (delivered o49 p41))
              (preference d-o49-p42 (delivered o49 p42))
              (preference d-o49-p43 (delivered o49 p43))
              (preference d-o49-p44 (delivered o49 p44))
              (preference d-o49-p45 (delivered o49 p45))
              (preference d-o49-p46 (delivered o49 p46))
              (preference d-o49-p47 (delivered o49 p47))
              (preference d-o49-p48 (delivered o49 p48))
              (preference d-o49-p49 (delivered o49 p49))
              (preference d-o49-p50 (delivered o49 p50))
              (preference d-o50-p1 (delivered o50 p1))
              (preference d-o50-p7 (delivered o50 p7))
              (preference d-o50-p8 (delivered o50 p8))
              (preference d-o50-p10 (delivered o50 p10))
              (preference d-o50-p11 (delivered o50 p11))
              (preference d-o50-p16 (delivered o50 p16))
              (preference d-o50-p32 (delivered o50 p32))
              (preference d-o50-p37 (delivered o50 p37))
              (preference d-o50-p39 (delivered o50 p39))
              (preference d-o50-p43 (delivered o50 p43))
              (preference d-o50-p44 (delivered o50 p44))
              (preference d-o50-p47 (delivered o50 p47))
              (preference d-o50-p48 (delivered o50 p48))))
        (:metric minimize
         (+ (is-violated d-o1-p48)
            (is-violated d-o1-p47)
            (is-violated d-o1-p45)
            (is-violated d-o1-p44)
            (is-violated d-o1-p43)
            (is-violated d-o1-p41)
            (is-violated d-o1-p39)
            (is-violated d-o1-p38)
            (is-violated d-o1-p37)
            (is-violated d-o1-p36)
            (is-violated d-o1-p34)
            (is-violated d-o1-p31)
            (is-violated d-o1-p30)
            (is-violated d-o1-p29)
            (is-violated d-o1-p28)
            (is-violated d-o1-p27)
            (is-violated d-o1-p26)
            (is-violated d-o1-p23)
            (is-violated d-o1-p22)
            (is-violated d-o1-p21)
            (is-violated d-o1-p20)
            (is-violated d-o1-p19)
            (is-violated d-o1-p18)
            (is-violated d-o1-p17)
            (is-violated d-o1-p15)
            (is-violated d-o1-p13)
            (is-violated d-o1-p12)
            (is-violated d-o1-p11)
            (is-violated d-o1-p10)
            (is-violated d-o1-p9)
            (is-violated d-o1-p7)
            (is-violated d-o1-p6)
            (is-violated d-o1-p5)
            (is-violated d-o1-p4)
            (is-violated d-o1-p1)
            (is-violated d-o2-p50)
            (is-violated d-o2-p49)
            (is-violated d-o2-p46)
            (is-violated d-o2-p45)
            (is-violated d-o2-p42)
            (is-violated d-o2-p41)
            (is-violated d-o2-p36)
            (is-violated d-o2-p33)
            (is-violated d-o2-p31)
            (is-violated d-o2-p29)
            (is-violated d-o2-p28)
            (is-violated d-o2-p26)
            (is-violated d-o2-p25)
            (is-violated d-o2-p24)
            (is-violated d-o2-p23)
            (is-violated d-o2-p21)
            (is-violated d-o2-p20)
            (is-violated d-o2-p17)
            (is-violated d-o2-p12)
            (is-violated d-o2-p6)
            (is-violated d-o2-p5)
            (is-violated d-o2-p3)
            (is-violated d-o3-p50)
            (is-violated d-o3-p49)
            (is-violated d-o3-p46)
            (is-violated d-o3-p42)
            (is-violated d-o3-p40)
            (is-violated d-o3-p25)
            (is-violated d-o3-p24)
            (is-violated d-o3-p2)
            (is-violated d-o4-p49)
            (is-violated d-o4-p48)
            (is-violated d-o4-p47)
            (is-violated d-o4-p46)
            (is-violated d-o4-p45)
            (is-violated d-o4-p44)
            (is-violated d-o4-p42)
            (is-violated d-o4-p41)
            (is-violated d-o4-p40)
            (is-violated d-o4-p39)
            (is-violated d-o4-p37)
            (is-violated d-o4-p36)
            (is-violated d-o4-p35)
            (is-violated d-o4-p34)
            (is-violated d-o4-p33)
            (is-violated d-o4-p32)
            (is-violated d-o4-p31)
            (is-violated d-o4-p30)
            (is-violated d-o4-p29)
            (is-violated d-o4-p28)
            (is-violated d-o4-p26)
            (is-violated d-o4-p25)
            (is-violated d-o4-p24)
            (is-violated d-o4-p23)
            (is-violated d-o4-p22)
            (is-violated d-o4-p20)
            (is-violated d-o4-p19)
            (is-violated d-o4-p17)
            (is-violated d-o4-p16)
            (is-violated d-o4-p15)
            (is-violated d-o4-p14)
            (is-violated d-o4-p13)
            (is-violated d-o4-p11)
            (is-violated d-o4-p10)
            (is-violated d-o4-p8)
            (is-violated d-o4-p7)
            (is-violated d-o4-p5)
            (is-violated d-o4-p4)
            (is-violated d-o4-p2)
            (is-violated d-o4-p1)
            (is-violated d-o5-p50)
            (is-violated d-o5-p46)
            (is-violated d-o5-p45)
            (is-violated d-o5-p42)
            (is-violated d-o5-p41)
            (is-violated d-o5-p40)
            (is-violated d-o5-p38)
            (is-violated d-o5-p36)
            (is-violated d-o5-p33)
            (is-violated d-o5-p31)
            (is-violated d-o5-p28)
            (is-violated d-o5-p26)
            (is-violated d-o5-p25)
            (is-violated d-o5-p24)
            (is-violated d-o5-p23)
            (is-violated d-o5-p22)
            (is-violated d-o5-p20)
            (is-violated d-o5-p18)
            (is-violated d-o5-p17)
            (is-violated d-o5-p15)
            (is-violated d-o5-p14)
            (is-violated d-o5-p12)
            (is-violated d-o5-p9)
            (is-violated d-o5-p6)
            (is-violated d-o5-p5)
            (is-violated d-o5-p4)
            (is-violated d-o5-p3)
            (is-violated d-o5-p2)
            (is-violated d-o6-p50)
            (is-violated d-o6-p49)
            (is-violated d-o6-p48)
            (is-violated d-o6-p47)
            (is-violated d-o6-p46)
            (is-violated d-o6-p45)
            (is-violated d-o6-p44)
            (is-violated d-o6-p42)
            (is-violated d-o6-p39)
            (is-violated d-o6-p38)
            (is-violated d-o6-p37)
            (is-violated d-o6-p36)
            (is-violated d-o6-p35)
            (is-violated d-o6-p33)
            (is-violated d-o6-p32)
            (is-violated d-o6-p31)
            (is-violated d-o6-p30)
            (is-violated d-o6-p28)
            (is-violated d-o6-p27)
            (is-violated d-o6-p26)
            (is-violated d-o6-p25)
            (is-violated d-o6-p24)
            (is-violated d-o6-p23)
            (is-violated d-o6-p22)
            (is-violated d-o6-p21)
            (is-violated d-o6-p20)
            (is-violated d-o6-p19)
            (is-violated d-o6-p18)
            (is-violated d-o6-p17)
            (is-violated d-o6-p16)
            (is-violated d-o6-p15)
            (is-violated d-o6-p14)
            (is-violated d-o6-p13)
            (is-violated d-o6-p12)
            (is-violated d-o6-p11)
            (is-violated d-o6-p10)
            (is-violated d-o6-p8)
            (is-violated d-o6-p7)
            (is-violated d-o6-p6)
            (is-violated d-o6-p5)
            (is-violated d-o6-p4)
            (is-violated d-o6-p3)
            (is-violated d-o6-p2)
            (is-violated d-o6-p1)
            (is-violated d-o7-p48)
            (is-violated d-o7-p47)
            (is-violated d-o7-p45)
            (is-violated d-o7-p44)
            (is-violated d-o7-p43)
            (is-violated d-o7-p39)
            (is-violated d-o7-p37)
            (is-violated d-o7-p36)
            (is-violated d-o7-p35)
            (is-violated d-o7-p34)
            (is-violated d-o7-p32)
            (is-violated d-o7-p31)
            (is-violated d-o7-p30)
            (is-violated d-o7-p29)
            (is-violated d-o7-p28)
            (is-violated d-o7-p27)
            (is-violated d-o7-p26)
            (is-violated d-o7-p23)
            (is-violated d-o7-p22)
            (is-violated d-o7-p21)
            (is-violated d-o7-p20)
            (is-violated d-o7-p19)
            (is-violated d-o7-p18)
            (is-violated d-o7-p16)
            (is-violated d-o7-p15)
            (is-violated d-o7-p13)
            (is-violated d-o7-p12)
            (is-violated d-o7-p11)
            (is-violated d-o7-p10)
            (is-violated d-o7-p9)
            (is-violated d-o7-p8)
            (is-violated d-o7-p7)
            (is-violated d-o7-p6)
            (is-violated d-o7-p5)
            (is-violated d-o7-p1)
            (is-violated d-o8-p44)
            (is-violated d-o8-p43)
            (is-violated d-o8-p37)
            (is-violated d-o8-p11)
            (is-violated d-o9-p50)
            (is-violated d-o9-p48)
            (is-violated d-o9-p47)
            (is-violated d-o9-p46)
            (is-violated d-o9-p45)
            (is-violated d-o9-p44)
            (is-violated d-o9-p43)
            (is-violated d-o9-p42)
            (is-violated d-o9-p40)
            (is-violated d-o9-p39)
            (is-violated d-o9-p38)
            (is-violated d-o9-p37)
            (is-violated d-o9-p36)
            (is-violated d-o9-p35)
            (is-violated d-o9-p34)
            (is-violated d-o9-p33)
            (is-violated d-o9-p32)
            (is-violated d-o9-p31)
            (is-violated d-o9-p30)
            (is-violated d-o9-p29)
            (is-violated d-o9-p28)
            (is-violated d-o9-p27)
            (is-violated d-o9-p26)
            (is-violated d-o9-p25)
            (is-violated d-o9-p24)
            (is-violated d-o9-p23)
            (is-violated d-o9-p22)
            (is-violated d-o9-p21)
            (is-violated d-o9-p20)
            (is-violated d-o9-p17)
            (is-violated d-o9-p16)
            (is-violated d-o9-p14)
            (is-violated d-o9-p13)
            (is-violated d-o9-p11)
            (is-violated d-o9-p10)
            (is-violated d-o9-p9)
            (is-violated d-o9-p8)
            (is-violated d-o9-p7)
            (is-violated d-o9-p6)
            (is-violated d-o9-p5)
            (is-violated d-o9-p4)
            (is-violated d-o9-p3)
            (is-violated d-o9-p2)
            (is-violated d-o9-p1)
            (is-violated d-o10-p50)
            (is-violated d-o10-p49)
            (is-violated d-o10-p48)
            (is-violated d-o10-p47)
            (is-violated d-o10-p46)
            (is-violated d-o10-p45)
            (is-violated d-o10-p44)
            (is-violated d-o10-p43)
            (is-violated d-o10-p42)
            (is-violated d-o10-p40)
            (is-violated d-o10-p39)
            (is-violated d-o10-p38)
            (is-violated d-o10-p37)
            (is-violated d-o10-p36)
            (is-violated d-o10-p35)
            (is-violated d-o10-p34)
            (is-violated d-o10-p33)
            (is-violated d-o10-p32)
            (is-violated d-o10-p31)
            (is-violated d-o10-p30)
            (is-violated d-o10-p29)
            (is-violated d-o10-p28)
            (is-violated d-o10-p27)
            (is-violated d-o10-p26)
            (is-violated d-o10-p24)
            (is-violated d-o10-p23)
            (is-violated d-o10-p22)
            (is-violated d-o10-p20)
            (is-violated d-o10-p19)
            (is-violated d-o10-p18)
            (is-violated d-o10-p17)
            (is-violated d-o10-p16)
            (is-violated d-o10-p15)
            (is-violated d-o10-p14)
            (is-violated d-o10-p12)
            (is-violated d-o10-p11)
            (is-violated d-o10-p10)
            (is-violated d-o10-p9)
            (is-violated d-o10-p8)
            (is-violated d-o10-p7)
            (is-violated d-o10-p6)
            (is-violated d-o10-p5)
            (is-violated d-o10-p4)
            (is-violated d-o10-p3)
            (is-violated d-o10-p2)
            (is-violated d-o10-p1)
            (is-violated d-o11-p50)
            (is-violated d-o11-p49)
            (is-violated d-o11-p47)
            (is-violated d-o11-p46)
            (is-violated d-o11-p42)
            (is-violated d-o11-p41)
            (is-violated d-o11-p39)
            (is-violated d-o11-p38)
            (is-violated d-o11-p36)
            (is-violated d-o11-p35)
            (is-violated d-o11-p34)
            (is-violated d-o11-p32)
            (is-violated d-o11-p31)
            (is-violated d-o11-p30)
            (is-violated d-o11-p29)
            (is-violated d-o11-p28)
            (is-violated d-o11-p27)
            (is-violated d-o11-p26)
            (is-violated d-o11-p25)
            (is-violated d-o11-p24)
            (is-violated d-o11-p23)
            (is-violated d-o11-p22)
            (is-violated d-o11-p21)
            (is-violated d-o11-p20)
            (is-violated d-o11-p18)
            (is-violated d-o11-p17)
            (is-violated d-o11-p16)
            (is-violated d-o11-p15)
            (is-violated d-o11-p14)
            (is-violated d-o11-p13)
            (is-violated d-o11-p12)
            (is-violated d-o11-p10)
            (is-violated d-o11-p9)
            (is-violated d-o11-p7)
            (is-violated d-o11-p6)
            (is-violated d-o11-p5)
            (is-violated d-o11-p4)
            (is-violated d-o11-p3)
            (is-violated d-o11-p2)
            (is-violated d-o11-p1)
            (is-violated d-o12-p49)
            (is-violated d-o12-p24)
            (is-violated d-o12-p3)
            (is-violated d-o13-p50)
            (is-violated d-o13-p49)
            (is-violated d-o13-p48)
            (is-violated d-o13-p47)
            (is-violated d-o13-p46)
            (is-violated d-o13-p45)
            (is-violated d-o13-p44)
            (is-violated d-o13-p42)
            (is-violated d-o13-p41)
            (is-violated d-o13-p38)
            (is-violated d-o13-p37)
            (is-violated d-o13-p36)
            (is-violated d-o13-p35)
            (is-violated d-o13-p34)
            (is-violated d-o13-p33)
            (is-violated d-o13-p32)
            (is-violated d-o13-p31)
            (is-violated d-o13-p30)
            (is-violated d-o13-p29)
            (is-violated d-o13-p28)
            (is-violated d-o13-p27)
            (is-violated d-o13-p26)
            (is-violated d-o13-p25)
            (is-violated d-o13-p24)
            (is-violated d-o13-p23)
            (is-violated d-o13-p22)
            (is-violated d-o13-p21)
            (is-violated d-o13-p20)
            (is-violated d-o13-p19)
            (is-violated d-o13-p18)
            (is-violated d-o13-p17)
            (is-violated d-o13-p16)
            (is-violated d-o13-p15)
            (is-violated d-o13-p14)
            (is-violated d-o13-p13)
            (is-violated d-o13-p11)
            (is-violated d-o13-p10)
            (is-violated d-o13-p9)
            (is-violated d-o13-p8)
            (is-violated d-o13-p7)
            (is-violated d-o13-p6)
            (is-violated d-o13-p5)
            (is-violated d-o13-p4)
            (is-violated d-o13-p3)
            (is-violated d-o13-p2)
            (is-violated d-o13-p1)
            (is-violated d-o14-p50)
            (is-violated d-o14-p49)
            (is-violated d-o14-p46)
            (is-violated d-o14-p45)
            (is-violated d-o14-p41)
            (is-violated d-o14-p40)
            (is-violated d-o14-p36)
            (is-violated d-o14-p33)
            (is-violated d-o14-p31)
            (is-violated d-o14-p24)
            (is-violated d-o14-p21)
            (is-violated d-o14-p20)
            (is-violated d-o14-p15)
            (is-violated d-o14-p14)
            (is-violated d-o14-p12)
            (is-violated d-o14-p9)
            (is-violated d-o14-p4)
            (is-violated d-o14-p3)
            (is-violated d-o14-p2)
            (is-violated d-o15-p48)
            (is-violated d-o15-p47)
            (is-violated d-o15-p44)
            (is-violated d-o15-p43)
            (is-violated d-o15-p39)
            (is-violated d-o15-p37)
            (is-violated d-o15-p32)
            (is-violated d-o15-p11)
            (is-violated d-o15-p10)
            (is-violated d-o15-p8)
            (is-violated d-o15-p1)
            (is-violated d-o16-p50)
            (is-violated d-o16-p49)
            (is-violated d-o16-p46)
            (is-violated d-o16-p45)
            (is-violated d-o16-p42)
            (is-violated d-o16-p41)
            (is-violated d-o16-p40)
            (is-violated d-o16-p38)
            (is-violated d-o16-p36)
            (is-violated d-o16-p33)
            (is-violated d-o16-p31)
            (is-violated d-o16-p27)
            (is-violated d-o16-p26)
            (is-violated d-o16-p25)
            (is-violated d-o16-p24)
            (is-violated d-o16-p22)
            (is-violated d-o16-p21)
            (is-violated d-o16-p20)
            (is-violated d-o16-p18)
            (is-violated d-o16-p17)
            (is-violated d-o16-p15)
            (is-violated d-o16-p14)
            (is-violated d-o16-p13)
            (is-violated d-o16-p12)
            (is-violated d-o16-p9)
            (is-violated d-o16-p6)
            (is-violated d-o16-p4)
            (is-violated d-o16-p3)
            (is-violated d-o16-p2)
            (is-violated d-o17-p50)
            (is-violated d-o17-p49)
            (is-violated d-o17-p46)
            (is-violated d-o17-p45)
            (is-violated d-o17-p42)
            (is-violated d-o17-p41)
            (is-violated d-o17-p40)
            (is-violated d-o17-p36)
            (is-violated d-o17-p33)
            (is-violated d-o17-p31)
            (is-violated d-o17-p28)
            (is-violated d-o17-p25)
            (is-violated d-o17-p24)
            (is-violated d-o17-p23)
            (is-violated d-o17-p21)
            (is-violated d-o17-p20)
            (is-violated d-o17-p17)
            (is-violated d-o17-p15)
            (is-violated d-o17-p14)
            (is-violated d-o17-p12)
            (is-violated d-o17-p9)
            (is-violated d-o17-p6)
            (is-violated d-o17-p5)
            (is-violated d-o17-p3)
            (is-violated d-o17-p2)
            (is-violated d-o18-p50)
            (is-violated d-o18-p49)
            (is-violated d-o18-p47)
            (is-violated d-o18-p46)
            (is-violated d-o18-p45)
            (is-violated d-o18-p42)
            (is-violated d-o18-p41)
            (is-violated d-o18-p38)
            (is-violated d-o18-p36)
            (is-violated d-o18-p34)
            (is-violated d-o18-p33)
            (is-violated d-o18-p32)
            (is-violated d-o18-p31)
            (is-violated d-o18-p30)
            (is-violated d-o18-p29)
            (is-violated d-o18-p28)
            (is-violated d-o18-p27)
            (is-violated d-o18-p26)
            (is-violated d-o18-p25)
            (is-violated d-o18-p23)
            (is-violated d-o18-p22)
            (is-violated d-o18-p21)
            (is-violated d-o18-p20)
            (is-violated d-o18-p19)
            (is-violated d-o18-p18)
            (is-violated d-o18-p17)
            (is-violated d-o18-p15)
            (is-violated d-o18-p14)
            (is-violated d-o18-p12)
            (is-violated d-o18-p10)
            (is-violated d-o18-p9)
            (is-violated d-o18-p7)
            (is-violated d-o18-p6)
            (is-violated d-o18-p5)
            (is-violated d-o18-p4)
            (is-violated d-o18-p3)
            (is-violated d-o18-p1)
            (is-violated d-o19-p50)
            (is-violated d-o19-p49)
            (is-violated d-o19-p46)
            (is-violated d-o19-p45)
            (is-violated d-o19-p42)
            (is-violated d-o19-p41)
            (is-violated d-o19-p40)
            (is-violated d-o19-p36)
            (is-violated d-o19-p33)
            (is-violated d-o19-p31)
            (is-violated d-o19-p29)
            (is-violated d-o19-p28)
            (is-violated d-o19-p26)
            (is-violated d-o19-p25)
            (is-violated d-o19-p24)
            (is-violated d-o19-p23)
            (is-violated d-o19-p22)
            (is-violated d-o19-p21)
            (is-violated d-o19-p20)
            (is-violated d-o19-p18)
            (is-violated d-o19-p17)
            (is-violated d-o19-p15)
            (is-violated d-o19-p14)
            (is-violated d-o19-p12)
            (is-violated d-o19-p9)
            (is-violated d-o19-p6)
            (is-violated d-o19-p5)
            (is-violated d-o19-p4)
            (is-violated d-o19-p3)
            (is-violated d-o20-p50)
            (is-violated d-o20-p48)
            (is-violated d-o20-p47)
            (is-violated d-o20-p46)
            (is-violated d-o20-p45)
            (is-violated d-o20-p44)
            (is-violated d-o20-p43)
            (is-violated d-o20-p41)
            (is-violated d-o20-p39)
            (is-violated d-o20-p37)
            (is-violated d-o20-p36)
            (is-violated d-o20-p35)
            (is-violated d-o20-p34)
            (is-violated d-o20-p33)
            (is-violated d-o20-p32)
            (is-violated d-o20-p31)
            (is-violated d-o20-p30)
            (is-violated d-o20-p28)
            (is-violated d-o20-p27)
            (is-violated d-o20-p23)
            (is-violated d-o20-p22)
            (is-violated d-o20-p21)
            (is-violated d-o20-p20)
            (is-violated d-o20-p19)
            (is-violated d-o20-p17)
            (is-violated d-o20-p16)
            (is-violated d-o20-p15)
            (is-violated d-o20-p13)
            (is-violated d-o20-p12)
            (is-violated d-o20-p11)
            (is-violated d-o20-p9)
            (is-violated d-o20-p8)
            (is-violated d-o20-p7)
            (is-violated d-o20-p6)
            (is-violated d-o20-p5)
            (is-violated d-o20-p4)
            (is-violated d-o20-p1)
            (is-violated d-o21-p48)
            (is-violated d-o21-p47)
            (is-violated d-o21-p44)
            (is-violated d-o21-p43)
            (is-violated d-o21-p39)
            (is-violated d-o21-p38)
            (is-violated d-o21-p37)
            (is-violated d-o21-p35)
            (is-violated d-o21-p34)
            (is-violated d-o21-p32)
            (is-violated d-o21-p30)
            (is-violated d-o21-p29)
            (is-violated d-o21-p27)
            (is-violated d-o21-p26)
            (is-violated d-o21-p23)
            (is-violated d-o21-p19)
            (is-violated d-o21-p18)
            (is-violated d-o21-p16)
            (is-violated d-o21-p13)
            (is-violated d-o21-p11)
            (is-violated d-o21-p10)
            (is-violated d-o21-p8)
            (is-violated d-o21-p7)
            (is-violated d-o21-p6)
            (is-violated d-o21-p5)
            (is-violated d-o21-p1)
            (is-violated d-o22-p49)
            (is-violated d-o22-p48)
            (is-violated d-o22-p47)
            (is-violated d-o22-p46)
            (is-violated d-o22-p45)
            (is-violated d-o22-p42)
            (is-violated d-o22-p40)
            (is-violated d-o22-p39)
            (is-violated d-o22-p38)
            (is-violated d-o22-p37)
            (is-violated d-o22-p36)
            (is-violated d-o22-p35)
            (is-violated d-o22-p34)
            (is-violated d-o22-p33)
            (is-violated d-o22-p32)
            (is-violated d-o22-p31)
            (is-violated d-o22-p30)
            (is-violated d-o22-p29)
            (is-violated d-o22-p28)
            (is-violated d-o22-p26)
            (is-violated d-o22-p25)
            (is-violated d-o22-p24)
            (is-violated d-o22-p22)
            (is-violated d-o22-p21)
            (is-violated d-o22-p20)
            (is-violated d-o22-p18)
            (is-violated d-o22-p17)
            (is-violated d-o22-p16)
            (is-violated d-o22-p15)
            (is-violated d-o22-p14)
            (is-violated d-o22-p13)
            (is-violated d-o22-p12)
            (is-violated d-o22-p11)
            (is-violated d-o22-p10)
            (is-violated d-o22-p9)
            (is-violated d-o22-p8)
            (is-violated d-o22-p7)
            (is-violated d-o22-p6)
            (is-violated d-o22-p5)
            (is-violated d-o22-p3)
            (is-violated d-o22-p2)
            (is-violated d-o22-p1)
            (is-violated d-o24-p50)
            (is-violated d-o24-p49)
            (is-violated d-o24-p48)
            (is-violated d-o24-p46)
            (is-violated d-o24-p45)
            (is-violated d-o24-p44)
            (is-violated d-o24-p43)
            (is-violated d-o24-p42)
            (is-violated d-o24-p41)
            (is-violated d-o24-p40)
            (is-violated d-o24-p38)
            (is-violated d-o24-p37)
            (is-violated d-o24-p36)
            (is-violated d-o24-p35)
            (is-violated d-o24-p34)
            (is-violated d-o24-p33)
            (is-violated d-o24-p32)
            (is-violated d-o24-p30)
            (is-violated d-o24-p28)
            (is-violated d-o24-p27)
            (is-violated d-o24-p26)
            (is-violated d-o24-p25)
            (is-violated d-o24-p24)
            (is-violated d-o24-p23)
            (is-violated d-o24-p22)
            (is-violated d-o24-p21)
            (is-violated d-o24-p20)
            (is-violated d-o24-p18)
            (is-violated d-o24-p17)
            (is-violated d-o24-p16)
            (is-violated d-o24-p15)
            (is-violated d-o24-p14)
            (is-violated d-o24-p13)
            (is-violated d-o24-p12)
            (is-violated d-o24-p10)
            (is-violated d-o24-p9)
            (is-violated d-o24-p8)
            (is-violated d-o24-p7)
            (is-violated d-o24-p6)
            (is-violated d-o24-p5)
            (is-violated d-o24-p4)
            (is-violated d-o24-p3)
            (is-violated d-o24-p2)
            (is-violated d-o24-p1)
            (is-violated d-o25-p44)
            (is-violated d-o25-p39)
            (is-violated d-o26-p50)
            (is-violated d-o26-p49)
            (is-violated d-o26-p46)
            (is-violated d-o26-p45)
            (is-violated d-o26-p42)
            (is-violated d-o26-p38)
            (is-violated d-o26-p36)
            (is-violated d-o26-p33)
            (is-violated d-o26-p31)
            (is-violated d-o26-p29)
            (is-violated d-o26-p28)
            (is-violated d-o26-p26)
            (is-violated d-o26-p25)
            (is-violated d-o26-p24)
            (is-violated d-o26-p23)
            (is-violated d-o26-p22)
            (is-violated d-o26-p21)
            (is-violated d-o26-p20)
            (is-violated d-o26-p18)
            (is-violated d-o26-p17)
            (is-violated d-o26-p15)
            (is-violated d-o26-p14)
            (is-violated d-o26-p13)
            (is-violated d-o26-p12)
            (is-violated d-o26-p6)
            (is-violated d-o26-p5)
            (is-violated d-o26-p4)
            (is-violated d-o26-p3)
            (is-violated d-o26-p2)
            (is-violated d-o27-p50)
            (is-violated d-o27-p49)
            (is-violated d-o27-p48)
            (is-violated d-o27-p47)
            (is-violated d-o27-p46)
            (is-violated d-o27-p45)
            (is-violated d-o27-p44)
            (is-violated d-o27-p43)
            (is-violated d-o27-p42)
            (is-violated d-o27-p41)
            (is-violated d-o27-p40)
            (is-violated d-o27-p39)
            (is-violated d-o27-p38)
            (is-violated d-o27-p37)
            (is-violated d-o27-p36)
            (is-violated d-o27-p35)
            (is-violated d-o27-p34)
            (is-violated d-o27-p33)
            (is-violated d-o27-p32)
            (is-violated d-o27-p31)
            (is-violated d-o27-p29)
            (is-violated d-o27-p28)
            (is-violated d-o27-p27)
            (is-violated d-o27-p26)
            (is-violated d-o27-p25)
            (is-violated d-o27-p24)
            (is-violated d-o27-p23)
            (is-violated d-o27-p22)
            (is-violated d-o27-p21)
            (is-violated d-o27-p20)
            (is-violated d-o27-p19)
            (is-violated d-o27-p18)
            (is-violated d-o27-p16)
            (is-violated d-o27-p15)
            (is-violated d-o27-p14)
            (is-violated d-o27-p13)
            (is-violated d-o27-p12)
            (is-violated d-o27-p11)
            (is-violated d-o27-p10)
            (is-violated d-o27-p9)
            (is-violated d-o27-p8)
            (is-violated d-o27-p7)
            (is-violated d-o27-p6)
            (is-violated d-o27-p5)
            (is-violated d-o27-p4)
            (is-violated d-o27-p3)
            (is-violated d-o27-p2)
            (is-violated d-o27-p1)
            (is-violated d-o28-p47)
            (is-violated d-o28-p46)
            (is-violated d-o28-p45)
            (is-violated d-o28-p44)
            (is-violated d-o28-p43)
            (is-violated d-o28-p42)
            (is-violated d-o28-p41)
            (is-violated d-o28-p40)
            (is-violated d-o28-p39)
            (is-violated d-o28-p38)
            (is-violated d-o28-p36)
            (is-violated d-o28-p35)
            (is-violated d-o28-p34)
            (is-violated d-o28-p33)
            (is-violated d-o28-p32)
            (is-violated d-o28-p31)
            (is-violated d-o28-p30)
            (is-violated d-o28-p29)
            (is-violated d-o28-p28)
            (is-violated d-o28-p27)
            (is-violated d-o28-p26)
            (is-violated d-o28-p25)
            (is-violated d-o28-p24)
            (is-violated d-o28-p23)
            (is-violated d-o28-p22)
            (is-violated d-o28-p21)
            (is-violated d-o28-p20)
            (is-violated d-o28-p19)
            (is-violated d-o28-p18)
            (is-violated d-o28-p17)
            (is-violated d-o28-p16)
            (is-violated d-o28-p15)
            (is-violated d-o28-p14)
            (is-violated d-o28-p13)
            (is-violated d-o28-p12)
            (is-violated d-o28-p11)
            (is-violated d-o28-p10)
            (is-violated d-o28-p8)
            (is-violated d-o28-p7)
            (is-violated d-o28-p6)
            (is-violated d-o28-p5)
            (is-violated d-o28-p4)
            (is-violated d-o28-p3)
            (is-violated d-o28-p2)
            (is-violated d-o28-p1)
            (is-violated d-o29-p50)
            (is-violated d-o29-p49)
            (is-violated d-o29-p48)
            (is-violated d-o29-p47)
            (is-violated d-o29-p46)
            (is-violated d-o29-p45)
            (is-violated d-o29-p44)
            (is-violated d-o29-p43)
            (is-violated d-o29-p42)
            (is-violated d-o29-p41)
            (is-violated d-o29-p39)
            (is-violated d-o29-p38)
            (is-violated d-o29-p37)
            (is-violated d-o29-p36)
            (is-violated d-o29-p34)
            (is-violated d-o29-p33)
            (is-violated d-o29-p32)
            (is-violated d-o29-p30)
            (is-violated d-o29-p29)
            (is-violated d-o29-p28)
            (is-violated d-o29-p27)
            (is-violated d-o29-p26)
            (is-violated d-o29-p25)
            (is-violated d-o29-p23)
            (is-violated d-o29-p22)
            (is-violated d-o29-p21)
            (is-violated d-o29-p20)
            (is-violated d-o29-p19)
            (is-violated d-o29-p18)
            (is-violated d-o29-p17)
            (is-violated d-o29-p16)
            (is-violated d-o29-p15)
            (is-violated d-o29-p14)
            (is-violated d-o29-p13)
            (is-violated d-o29-p12)
            (is-violated d-o29-p10)
            (is-violated d-o29-p9)
            (is-violated d-o29-p8)
            (is-violated d-o29-p7)
            (is-violated d-o29-p6)
            (is-violated d-o29-p5)
            (is-violated d-o29-p4)
            (is-violated d-o29-p3)
            (is-violated d-o29-p2)
            (is-violated d-o29-p1)
            (is-violated d-o30-p48)
            (is-violated d-o30-p47)
            (is-violated d-o30-p44)
            (is-violated d-o30-p43)
            (is-violated d-o30-p39)
            (is-violated d-o30-p38)
            (is-violated d-o30-p37)
            (is-violated d-o30-p35)
            (is-violated d-o30-p34)
            (is-violated d-o30-p30)
            (is-violated d-o30-p27)
            (is-violated d-o30-p22)
            (is-violated d-o30-p19)
            (is-violated d-o30-p18)
            (is-violated d-o30-p16)
            (is-violated d-o30-p13)
            (is-violated d-o30-p11)
            (is-violated d-o30-p10)
            (is-violated d-o30-p7)
            (is-violated d-o31-p50)
            (is-violated d-o31-p49)
            (is-violated d-o31-p47)
            (is-violated d-o31-p46)
            (is-violated d-o31-p45)
            (is-violated d-o31-p44)
            (is-violated d-o31-p43)
            (is-violated d-o31-p42)
            (is-violated d-o31-p41)
            (is-violated d-o31-p39)
            (is-violated d-o31-p38)
            (is-violated d-o31-p37)
            (is-violated d-o31-p36)
            (is-violated d-o31-p35)
            (is-violated d-o31-p34)
            (is-violated d-o31-p33)
            (is-violated d-o31-p32)
            (is-violated d-o31-p31)
            (is-violated d-o31-p30)
            (is-violated d-o31-p29)
            (is-violated d-o31-p28)
            (is-violated d-o31-p27)
            (is-violated d-o31-p26)
            (is-violated d-o31-p24)
            (is-violated d-o31-p23)
            (is-violated d-o31-p22)
            (is-violated d-o31-p21)
            (is-violated d-o31-p20)
            (is-violated d-o31-p19)
            (is-violated d-o31-p18)
            (is-violated d-o31-p17)
            (is-violated d-o31-p16)
            (is-violated d-o31-p15)
            (is-violated d-o31-p14)
            (is-violated d-o31-p13)
            (is-violated d-o31-p12)
            (is-violated d-o31-p11)
            (is-violated d-o31-p10)
            (is-violated d-o31-p9)
            (is-violated d-o31-p8)
            (is-violated d-o31-p7)
            (is-violated d-o31-p6)
            (is-violated d-o31-p5)
            (is-violated d-o31-p4)
            (is-violated d-o31-p3)
            (is-violated d-o31-p2)
            (is-violated d-o31-p1)
            (is-violated d-o33-p50)
            (is-violated d-o33-p49)
            (is-violated d-o33-p48)
            (is-violated d-o33-p47)
            (is-violated d-o33-p46)
            (is-violated d-o33-p44)
            (is-violated d-o33-p43)
            (is-violated d-o33-p42)
            (is-violated d-o33-p41)
            (is-violated d-o33-p40)
            (is-violated d-o33-p39)
            (is-violated d-o33-p38)
            (is-violated d-o33-p37)
            (is-violated d-o33-p36)
            (is-violated d-o33-p35)
            (is-violated d-o33-p34)
            (is-violated d-o33-p33)
            (is-violated d-o33-p32)
            (is-violated d-o33-p31)
            (is-violated d-o33-p30)
            (is-violated d-o33-p29)
            (is-violated d-o33-p28)
            (is-violated d-o33-p27)
            (is-violated d-o33-p26)
            (is-violated d-o33-p25)
            (is-violated d-o33-p24)
            (is-violated d-o33-p23)
            (is-violated d-o33-p22)
            (is-violated d-o33-p21)
            (is-violated d-o33-p20)
            (is-violated d-o33-p18)
            (is-violated d-o33-p17)
            (is-violated d-o33-p16)
            (is-violated d-o33-p15)
            (is-violated d-o33-p14)
            (is-violated d-o33-p13)
            (is-violated d-o33-p12)
            (is-violated d-o33-p11)
            (is-violated d-o33-p10)
            (is-violated d-o33-p9)
            (is-violated d-o33-p8)
            (is-violated d-o33-p7)
            (is-violated d-o33-p6)
            (is-violated d-o33-p5)
            (is-violated d-o33-p4)
            (is-violated d-o33-p3)
            (is-violated d-o33-p2)
            (is-violated d-o33-p1)
            (is-violated d-o34-p37)
            (is-violated d-o34-p11)
            (is-violated d-o35-p48)
            (is-violated d-o35-p47)
            (is-violated d-o35-p44)
            (is-violated d-o35-p39)
            (is-violated d-o35-p37)
            (is-violated d-o35-p35)
            (is-violated d-o35-p34)
            (is-violated d-o35-p30)
            (is-violated d-o35-p27)
            (is-violated d-o35-p19)
            (is-violated d-o35-p16)
            (is-violated d-o35-p11)
            (is-violated d-o35-p10)
            (is-violated d-o35-p8)
            (is-violated d-o35-p7)
            (is-violated d-o35-p1)
            (is-violated d-o36-p48)
            (is-violated d-o36-p47)
            (is-violated d-o36-p44)
            (is-violated d-o36-p43)
            (is-violated d-o36-p39)
            (is-violated d-o36-p37)
            (is-violated d-o36-p35)
            (is-violated d-o36-p34)
            (is-violated d-o36-p32)
            (is-violated d-o36-p30)
            (is-violated d-o36-p19)
            (is-violated d-o36-p16)
            (is-violated d-o36-p11)
            (is-violated d-o36-p10)
            (is-violated d-o36-p8)
            (is-violated d-o36-p7)
            (is-violated d-o36-p1)
            (is-violated d-o37-p48)
            (is-violated d-o37-p47)
            (is-violated d-o37-p43)
            (is-violated d-o37-p39)
            (is-violated d-o37-p38)
            (is-violated d-o37-p37)
            (is-violated d-o37-p35)
            (is-violated d-o37-p34)
            (is-violated d-o37-p32)
            (is-violated d-o37-p30)
            (is-violated d-o37-p29)
            (is-violated d-o37-p27)
            (is-violated d-o37-p26)
            (is-violated d-o37-p22)
            (is-violated d-o37-p18)
            (is-violated d-o37-p16)
            (is-violated d-o37-p11)
            (is-violated d-o37-p10)
            (is-violated d-o37-p7)
            (is-violated d-o37-p1)
            (is-violated d-o38-p50)
            (is-violated d-o38-p46)
            (is-violated d-o38-p45)
            (is-violated d-o38-p42)
            (is-violated d-o38-p41)
            (is-violated d-o38-p40)
            (is-violated d-o38-p38)
            (is-violated d-o38-p36)
            (is-violated d-o38-p35)
            (is-violated d-o38-p34)
            (is-violated d-o38-p33)
            (is-violated d-o38-p31)
            (is-violated d-o38-p30)
            (is-violated d-o38-p29)
            (is-violated d-o38-p28)
            (is-violated d-o38-p27)
            (is-violated d-o38-p26)
            (is-violated d-o38-p25)
            (is-violated d-o38-p24)
            (is-violated d-o38-p23)
            (is-violated d-o38-p22)
            (is-violated d-o38-p21)
            (is-violated d-o38-p20)
            (is-violated d-o38-p19)
            (is-violated d-o38-p18)
            (is-violated d-o38-p17)
            (is-violated d-o38-p15)
            (is-violated d-o38-p14)
            (is-violated d-o38-p13)
            (is-violated d-o38-p12)
            (is-violated d-o38-p9)
            (is-violated d-o38-p6)
            (is-violated d-o38-p5)
            (is-violated d-o38-p4)
            (is-violated d-o38-p2)
            (is-violated d-o39-p48)
            (is-violated d-o39-p44)
            (is-violated d-o39-p43)
            (is-violated d-o39-p37)
            (is-violated d-o39-p11)
            (is-violated d-o40-p50)
            (is-violated d-o40-p49)
            (is-violated d-o40-p48)
            (is-violated d-o40-p47)
            (is-violated d-o40-p46)
            (is-violated d-o40-p45)
            (is-violated d-o40-p44)
            (is-violated d-o40-p43)
            (is-violated d-o40-p42)
            (is-violated d-o40-p39)
            (is-violated d-o40-p38)
            (is-violated d-o40-p37)
            (is-violated d-o40-p36)
            (is-violated d-o40-p35)
            (is-violated d-o40-p34)
            (is-violated d-o40-p33)
            (is-violated d-o40-p32)
            (is-violated d-o40-p31)
            (is-violated d-o40-p30)
            (is-violated d-o40-p29)
            (is-violated d-o40-p28)
            (is-violated d-o40-p27)
            (is-violated d-o40-p26)
            (is-violated d-o40-p24)
            (is-violated d-o40-p23)
            (is-violated d-o40-p22)
            (is-violated d-o40-p21)
            (is-violated d-o40-p20)
            (is-violated d-o40-p19)
            (is-violated d-o40-p18)
            (is-violated d-o40-p17)
            (is-violated d-o40-p16)
            (is-violated d-o40-p15)
            (is-violated d-o40-p14)
            (is-violated d-o40-p13)
            (is-violated d-o40-p12)
            (is-violated d-o40-p11)
            (is-violated d-o40-p10)
            (is-violated d-o40-p8)
            (is-violated d-o40-p7)
            (is-violated d-o40-p6)
            (is-violated d-o40-p5)
            (is-violated d-o40-p4)
            (is-violated d-o40-p3)
            (is-violated d-o40-p2)
            (is-violated d-o40-p1)
            (is-violated d-o41-p48)
            (is-violated d-o41-p47)
            (is-violated d-o41-p44)
            (is-violated d-o41-p43)
            (is-violated d-o41-p37)
            (is-violated d-o41-p35)
            (is-violated d-o41-p34)
            (is-violated d-o41-p32)
            (is-violated d-o41-p30)
            (is-violated d-o41-p27)
            (is-violated d-o41-p19)
            (is-violated d-o41-p16)
            (is-violated d-o41-p13)
            (is-violated d-o41-p11)
            (is-violated d-o41-p10)
            (is-violated d-o41-p8)
            (is-violated d-o41-p7)
            (is-violated d-o41-p1)
            (is-violated d-o42-p47)
            (is-violated d-o42-p39)
            (is-violated d-o42-p32)
            (is-violated d-o42-p19)
            (is-violated d-o42-p16)
            (is-violated d-o42-p8)
            (is-violated d-o42-p7)
            (is-violated d-o43-p48)
            (is-violated d-o43-p47)
            (is-violated d-o43-p44)
            (is-violated d-o43-p43)
            (is-violated d-o43-p39)
            (is-violated d-o43-p35)
            (is-violated d-o43-p34)
            (is-violated d-o43-p32)
            (is-violated d-o43-p30)
            (is-violated d-o43-p27)
            (is-violated d-o43-p19)
            (is-violated d-o43-p16)
            (is-violated d-o43-p11)
            (is-violated d-o43-p10)
            (is-violated d-o43-p8)
            (is-violated d-o43-p7)
            (is-violated d-o43-p1)
            (is-violated d-o44-p49)
            (is-violated d-o44-p42)
            (is-violated d-o44-p40)
            (is-violated d-o44-p25)
            (is-violated d-o44-p14)
            (is-violated d-o44-p3)
            (is-violated d-o44-p2)
            (is-violated d-o45-p50)
            (is-violated d-o45-p46)
            (is-violated d-o45-p45)
            (is-violated d-o45-p42)
            (is-violated d-o45-p41)
            (is-violated d-o45-p40)
            (is-violated d-o45-p38)
            (is-violated d-o45-p36)
            (is-violated d-o45-p35)
            (is-violated d-o45-p34)
            (is-violated d-o45-p33)
            (is-violated d-o45-p31)
            (is-violated d-o45-p30)
            (is-violated d-o45-p29)
            (is-violated d-o45-p28)
            (is-violated d-o45-p26)
            (is-violated d-o45-p25)
            (is-violated d-o45-p23)
            (is-violated d-o45-p22)
            (is-violated d-o45-p21)
            (is-violated d-o45-p20)
            (is-violated d-o45-p19)
            (is-violated d-o45-p18)
            (is-violated d-o45-p17)
            (is-violated d-o45-p15)
            (is-violated d-o45-p14)
            (is-violated d-o45-p13)
            (is-violated d-o45-p9)
            (is-violated d-o45-p7)
            (is-violated d-o45-p6)
            (is-violated d-o45-p5)
            (is-violated d-o45-p4)
            (is-violated d-o46-p50)
            (is-violated d-o46-p49)
            (is-violated d-o46-p48)
            (is-violated d-o46-p47)
            (is-violated d-o46-p46)
            (is-violated d-o46-p45)
            (is-violated d-o46-p44)
            (is-violated d-o46-p43)
            (is-violated d-o46-p42)
            (is-violated d-o46-p40)
            (is-violated d-o46-p38)
            (is-violated d-o46-p37)
            (is-violated d-o46-p36)
            (is-violated d-o46-p35)
            (is-violated d-o46-p34)
            (is-violated d-o46-p33)
            (is-violated d-o46-p32)
            (is-violated d-o46-p31)
            (is-violated d-o46-p29)
            (is-violated d-o46-p27)
            (is-violated d-o46-p26)
            (is-violated d-o46-p25)
            (is-violated d-o46-p24)
            (is-violated d-o46-p23)
            (is-violated d-o46-p22)
            (is-violated d-o46-p21)
            (is-violated d-o46-p20)
            (is-violated d-o46-p19)
            (is-violated d-o46-p17)
            (is-violated d-o46-p16)
            (is-violated d-o46-p14)
            (is-violated d-o46-p13)
            (is-violated d-o46-p12)
            (is-violated d-o46-p11)
            (is-violated d-o46-p10)
            (is-violated d-o46-p9)
            (is-violated d-o46-p8)
            (is-violated d-o46-p7)
            (is-violated d-o46-p5)
            (is-violated d-o46-p4)
            (is-violated d-o46-p3)
            (is-violated d-o46-p2)
            (is-violated d-o46-p1)
            (is-violated d-o47-p50)
            (is-violated d-o47-p49)
            (is-violated d-o47-p46)
            (is-violated d-o47-p41)
            (is-violated d-o47-p40)
            (is-violated d-o47-p33)
            (is-violated d-o47-p25)
            (is-violated d-o47-p24)
            (is-violated d-o47-p17)
            (is-violated d-o47-p14)
            (is-violated d-o47-p4)
            (is-violated d-o47-p3)
            (is-violated d-o47-p2)
            (is-violated d-o48-p50)
            (is-violated d-o48-p49)
            (is-violated d-o48-p46)
            (is-violated d-o48-p45)
            (is-violated d-o48-p42)
            (is-violated d-o48-p41)
            (is-violated d-o48-p40)
            (is-violated d-o48-p38)
            (is-violated d-o48-p36)
            (is-violated d-o48-p35)
            (is-violated d-o48-p33)
            (is-violated d-o48-p31)
            (is-violated d-o48-p30)
            (is-violated d-o48-p29)
            (is-violated d-o48-p28)
            (is-violated d-o48-p27)
            (is-violated d-o48-p26)
            (is-violated d-o48-p25)
            (is-violated d-o48-p24)
            (is-violated d-o48-p23)
            (is-violated d-o48-p22)
            (is-violated d-o48-p21)
            (is-violated d-o48-p20)
            (is-violated d-o48-p18)
            (is-violated d-o48-p17)
            (is-violated d-o48-p15)
            (is-violated d-o48-p14)
            (is-violated d-o48-p12)
            (is-violated d-o48-p9)
            (is-violated d-o48-p6)
            (is-violated d-o48-p5)
            (is-violated d-o48-p4)
            (is-violated d-o48-p3)
            (is-violated d-o49-p50)
            (is-violated d-o49-p49)
            (is-violated d-o49-p48)
            (is-violated d-o49-p47)
            (is-violated d-o49-p46)
            (is-violated d-o49-p45)
            (is-violated d-o49-p44)
            (is-violated d-o49-p43)
            (is-violated d-o49-p42)
            (is-violated d-o49-p41)
            (is-violated d-o49-p40)
            (is-violated d-o49-p39)
            (is-violated d-o49-p36)
            (is-violated d-o49-p35)
            (is-violated d-o49-p34)
            (is-violated d-o49-p32)
            (is-violated d-o49-p31)
            (is-violated d-o49-p30)
            (is-violated d-o49-p29)
            (is-violated d-o49-p28)
            (is-violated d-o49-p27)
            (is-violated d-o49-p26)
            (is-violated d-o49-p25)
            (is-violated d-o49-p24)
            (is-violated d-o49-p23)
            (is-violated d-o49-p22)
            (is-violated d-o49-p21)
            (is-violated d-o49-p20)
            (is-violated d-o49-p19)
            (is-violated d-o49-p18)
            (is-violated d-o49-p17)
            (is-violated d-o49-p16)
            (is-violated d-o49-p14)
            (is-violated d-o49-p13)
            (is-violated d-o49-p12)
            (is-violated d-o49-p11)
            (is-violated d-o49-p10)
            (is-violated d-o49-p9)
            (is-violated d-o49-p7)
            (is-violated d-o49-p6)
            (is-violated d-o49-p5)
            (is-violated d-o49-p4)
            (is-violated d-o49-p3)
            (is-violated d-o49-p2)
            (is-violated d-o49-p1)
            (is-violated d-o50-p48)
            (is-violated d-o50-p47)
            (is-violated d-o50-p44)
            (is-violated d-o50-p43)
            (is-violated d-o50-p39)
            (is-violated d-o50-p37)
            (is-violated d-o50-p32)
            (is-violated d-o50-p16)
            (is-violated d-o50-p11)
            (is-violated d-o50-p10)
            (is-violated d-o50-p8)
            (is-violated d-o50-p7)
            (is-violated d-o50-p1)
            (is-violated d-o32-p43)
            (is-violated d-o23-p48)
	)))
